| Wed, 09 Jan 2002 17:56:46 +0100 | wenzelm | obsolete; | changeset | files |
| Wed, 09 Jan 2002 17:48:40 +0100 | wenzelm | converted theory Transitive_Closure; | changeset | files |
| Wed, 09 Jan 2002 17:42:49 +0100 | wenzelm | * added \<euro> symbol; | changeset | files |
| Wed, 09 Jan 2002 17:36:54 +0100 | wenzelm | no longer requires TEXINPUTS; | changeset | files |
| Wed, 09 Jan 2002 17:36:34 +0100 | wenzelm | isatool latex -o sty; | changeset | files |
| Wed, 09 Jan 2002 17:36:18 +0100 | wenzelm | removed TEXINPUTS; | changeset | files |
| Wed, 09 Jan 2002 14:44:24 +0100 | wenzelm | updated; | changeset | files |