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