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 |