doc-src/springer.tex
2000-05-08 wenzelm improved indexing;
1994-05-03 lcp post-CRC corrections
1994-04-15 lcp penultimate Springer draft
1994-03-24 lcp revisions to first Springer draft
1994-03-21 lcp first draft of Springer book
less more (0) tip