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 |