[Axiom-developer] Desired functionality from noweb

[daly]

Cliff,

re: stripping headers

It should be reasonably straightforward (except that there is no such
thing as a simple job) to write the function

 latex(pamphlet,recognizers) -> graph

provided we follow the latex style for chunks. 

Foreach '\' in pamphlet
 Do
  if recognize()
   then updategraph()
 until recognized

where recognize() returns true if it finds tag to handle
and updategraph adds the tagged info to the graph.

I already do that structurally in gclweb so let me take a crack
at generalizing it to parse the latex to a graph.

Once that happens it would be straightforward to remove the headers.

Tim