doc-src/Ref/defining.tex
2009-03-01 wenzelm removed parts of the manual that are clearly obsolete, or covered by
2006-07-11 wenzelm num/xnum: bin or hex;
2004-06-17 wenzelm tuned;
2004-06-16 wenzelm tuned;
2004-06-15 wenzelm tuned lexical syntax;
2004-06-09 wenzelm removed Syntax.test_read;
2004-03-25 kleing documented new identifier syntax
2003-10-13 skalberg Fixed spelling error.
2001-12-11 wenzelm tuned;
2001-09-28 berghofe Added TYPE to Pure grammar.
2000-01-18 paulson fixed many bad line & page breaks
1999-05-05 paulson Now uses manual.bib; some references updated
1998-09-23 wenzelm changed xnum token syntax;
1998-08-24 wenzelm emacs local vars;
1998-07-28 paulson Changed "goal" to "Goal"
1998-02-05 paulson Fixed a lot of overfull and underfull lines (hboxes)
1998-01-09 wenzelm several minor updates;
1997-10-07 wenzelm tuned;
1997-10-07 wenzelm tuned warning msg;
1997-09-22 wenzelm fixed pttrn syntax;
1997-07-02 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
1997-05-23 oheimb new syntactic priority of lambda abstraction
1997-05-20 wenzelm index: model checkers;
1997-05-16 wenzelm fixed Modelchek reference;
1997-05-06 wenzelm misc updates, tuning, cleanup;
1997-05-02 berghofe Updated to LaTeX 2e
1995-12-07 clasohm removed quotes from syntax and consts sections
1995-04-14 lcp In binders, the default body priority is now p instead of 0.
1995-02-27 wenzelm new in mixfix annotations: "' " (quote space) separates delimiters without
1995-01-27 wenzelm binder: optional body pri now [bracketted];
1995-01-27 clasohm renamed Sign.ambiguity_level to Syntax.ambiguity_level
1995-01-26 clasohm added documentation of Sign.ambiguity_level
1995-01-24 clasohm added optional body priority to binder declaration
1995-01-19 nipkow some cosmetic changes
1995-01-19 clasohm added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
1995-01-18 wenzelm quite a lot of minor and major revisions (inspecting theories, read_axm,
1994-11-14 clasohm updated remarks about grammar; added section about ambiguities
1994-07-07 nipkow changed priority of ::
1994-04-22 lcp final Springer copy
1994-04-15 lcp penultimate Springer draft
less more (0) tip