| Mon, 08 May 2000 11:03:53 +0200 | wenzelm | tuned GARBAGE; | changeset | files |
| Mon, 08 May 2000 10:53:13 +0200 | wenzelm | improved handling of Isabelle styles (less garbage); | changeset | files |
| Mon, 08 May 2000 10:52:46 +0200 | wenzelm | updated; | changeset | files |
| Mon, 08 May 2000 10:52:28 +0200 | wenzelm | updated syntax of simp options: (no_asm) etc.; | changeset | files |
| Mon, 08 May 2000 10:51:07 +0200 | wenzelm | removed \isabelledefaultstyle (use \isabellestyle instead); | changeset | files |
| Mon, 08 May 2000 10:49:27 +0200 | wenzelm | always discgarb -c; | changeset | files |
| Sat, 06 May 2000 00:46:13 +0200 | wenzelm | fixed clash with new 'abs' const; | changeset | files |