| Sat, 19 Aug 2000 12:49:19 +0200 | wenzelm | output \isachar; | changeset | files |
| Sat, 19 Aug 2000 12:48:26 +0200 | wenzelm | cond_add_path; | changeset | files |
| Sat, 19 Aug 2000 12:47:16 +0200 | wenzelm | fixed text; | changeset | files |
| Sat, 19 Aug 2000 12:45:11 +0200 | wenzelm | turned into new-style theory; | changeset | files |
| Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 19 Aug 2000 12:44:20 +0200 | wenzelm | tuned \isastyle; | changeset | files |
| Sat, 19 Aug 2000 12:43:55 +0200 | wenzelm | added \isachar definitions; | changeset | files |