Mon, 11 Sep 2000 17:35:17 +0200 | wenzelm | case args: align_right; | changeset | files |
Mon, 11 Sep 2000 17:34:42 +0200 | wenzelm | added \isabellecontext; | changeset | files |
Mon, 11 Sep 2000 13:03:11 +0200 | paulson | tidied | changeset | files |
Fri, 08 Sep 2000 12:13:21 +0200 | wenzelm | *** empty log message *** | changeset | files |