doc-src/Ref/syntax.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-07-16 wenzelm 2000-07-16 AST translation rules no longer require constant head on LHS;
2000-05-30 wenzelm 2000-05-30 renamed Syntax.trace_norm_ast to Syntax.trace_ast; removed Syntax.stat_norm_ast;
2000-04-13 wenzelm 2000-04-13 fixed index;
2000-01-18 paulson 2000-01-18 fixed many bad line & page breaks
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-03-10 wenzelm 1999-03-10 updated;
1998-08-24 wenzelm 1998-08-24 emacs local vars;
1998-02-05 paulson 1998-02-05 Fixed a lot of overfull and underfull lines (hboxes)
1997-12-05 wenzelm 1997-12-05 changed typed_print_translation;
1997-07-02 paulson 1997-07-02 Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
1997-05-07 wenzelm 1997-05-07 tuned spaces;
1997-05-07 paulson 1997-05-07 New acknowledgements; fixed overfull lines and tables
1997-05-06 wenzelm 1997-05-06 misc updates, tuning, cleanup;
1995-12-07 clasohm 1995-12-07 removed quotes from syntax and consts sections
1995-01-18 wenzelm 1995-01-18 quite a lot of minor and major revisions (inspecting theories, read_axm, cert_axm, grammar generation, lexical matters, macro examples, ...);
1994-07-29 lcp 1994-07-29 deleted repeated "the" in "before the the .thy file"
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft