ar.web is the current version of my web-file. I completed the final version on September 17th. It contains two figures, nameley glueing and result-embedding. All other files are generated by tangle, weave, latex, bibtex or comp.
