doc-src/Ref/theory-syntax.tex
1995-11-30 clasohm 1995-11-30 removed spaghetti diagrams for constType
1995-11-29 clasohm 1995-11-29 changed syntax diagrams according to quote-less consts and syntax section
1995-06-21 nipkow 1995-06-21 Added remark that \...\ in strings is unnecessary.
1995-05-03 nipkow 1995-05-03 Simplified layout a little.
1995-05-02 nipkow 1995-05-02 Sections can now be given in any order.
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-23 nipkow 1994-03-23 have broken line
1994-03-21 lcp 1994-03-21 first draft of Springer book