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 |