Fri, 08 Oct 1999 15:39:52 +0200 | wenzelm | make: tuned usage; | changeset | files |
Fri, 08 Oct 1999 15:09:14 +0200 | wenzelm | improved presentation; | changeset | files |
Fri, 08 Oct 1999 15:08:47 +0200 | wenzelm | include document; | changeset | files |
Fri, 08 Oct 1999 15:08:23 +0200 | wenzelm | return stored thms with proper naming in derivation; | changeset | files |
Fri, 08 Oct 1999 15:04:32 +0200 | wenzelm | improved special chars; | changeset | files |
Fri, 08 Oct 1999 15:03:47 +0200 | wenzelm | removed -c option; | changeset | files |
Fri, 08 Oct 1999 15:03:38 +0200 | wenzelm | tuned usage; | changeset | files |