| Wed, 15 Mar 2000 18:52:07 +0100 | wenzelm | made SML/XL happy; | changeset | files |
| Wed, 15 Mar 2000 18:50:48 +0100 | wenzelm | ## -D document; | changeset | files |
| Wed, 15 Mar 2000 18:50:14 +0100 | wenzelm | renamed isabelle env; | changeset | files |
| Wed, 15 Mar 2000 18:47:28 +0100 | wenzelm | splitter setup; | changeset | files |