| Tue, 04 Apr 2000 12:31:48 +0200 | wenzelm | 'let': replaced 'as' by 'and'; | changeset | files |
| Mon, 03 Apr 2000 21:05:07 +0200 | wenzelm | tuned recover; | changeset | files |
| Mon, 03 Apr 2000 14:02:40 +0200 | wenzelm | isapar, isamarkuptext, isamarkuptxt turned into environments; | changeset | files |
| Mon, 03 Apr 2000 14:00:39 +0200 | wenzelm | markup_env_command 'text' / 'txt'; | changeset | files |
| Mon, 03 Apr 2000 14:00:16 +0200 | wenzelm | support markup environments; | changeset | files |
| Sat, 01 Apr 2000 20:26:20 +0200 | wenzelm | tuned presentation; | changeset | files |
| Sat, 01 Apr 2000 20:22:46 +0200 | wenzelm | proper naming of fib equations; | changeset | files |
| Sat, 01 Apr 2000 20:21:39 +0200 | wenzelm | recdef: admit names/atts; | changeset | files |
| Sat, 01 Apr 2000 20:18:52 +0200 | wenzelm | isatool document: tuned -c option; | changeset | files |
| Sat, 01 Apr 2000 20:17:51 +0200 | wenzelm | recdef: admit name and atts; | changeset | files |
| Sat, 01 Apr 2000 20:16:56 +0200 | wenzelm | tuned -c option; | changeset | files |
| Sat, 01 Apr 2000 20:15:55 +0200 | wenzelm | recover: observe stopper; | changeset | files |
| Sat, 01 Apr 2000 20:13:33 +0200 | wenzelm | presentation ignore stuff: swallow newline; | changeset | files |
| Sat, 01 Apr 2000 20:12:52 +0200 | wenzelm | added is_newline; | changeset | files |