| Mon, 04 Dec 2000 23:36:16 +0100 | wenzelm | updated; | changeset | files |
| Mon, 04 Dec 2000 23:22:01 +0100 | wenzelm | proper order of symbols for genarated table in system manual; | changeset | files |
| Mon, 04 Dec 2000 23:21:35 +0100 | wenzelm | added \isabeginpar, \isaendpar; | changeset | files |