| Fri, 02 May 2008 16:39:44 +0200 | wenzelm | moved begin and imports to ../isar.sty; | changeset | files |
| Fri, 02 May 2008 16:38:01 +0200 | wenzelm | added begin and imports; | changeset | files |
| Fri, 02 May 2008 16:36:29 +0200 | wenzelm | clean_string: handle { }; | changeset | files |