| Fri, 28 May 1999 18:20:58 +0200 |
wenzelm |
move pdfs back into dist;
|
changeset |
files
|
| Fri, 28 May 1999 18:00:53 +0200 |
wenzelm |
pdf docs;
|
changeset |
files
|
| Fri, 28 May 1999 18:00:33 +0200 |
wenzelm |
separate archive for pdf docs;
|
changeset |
files
|
| Fri, 28 May 1999 17:59:22 +0200 |
wenzelm |
\def\bold;
|
changeset |
files
|
| Fri, 28 May 1999 13:30:59 +0200 |
wenzelm |
tuned formal comments;
|
changeset |
files
|
| Fri, 28 May 1999 11:42:07 +0200 |
wenzelm |
tuned manual.bib;
|
changeset |
files
|
| Thu, 27 May 1999 20:49:10 +0200 |
wenzelm |
changed {| |} verbatim syntax to {* *};
|
changeset |
files
|
| Thu, 27 May 1999 20:47:30 +0200 |
wenzelm |
changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
|
changeset |
files
|
| Thu, 27 May 1999 20:45:20 +0200 |
wenzelm |
improved undo / kill operations;
|
changeset |
files
|
| Thu, 27 May 1999 11:39:44 +0200 |
paulson |
fixed corruptoin of end of file
|
changeset |
files
|
| Thu, 27 May 1999 11:22:10 +0200 |
paulson |
removal of Always_StableI
|
changeset |
files
|
| Thu, 27 May 1999 11:19:45 +0200 |
paulson |
replaced rules Always_ConstrainsI/D by equivalences Always_Constrains_pre,
|
changeset |
files
|