| Mon, 09 Dec 1996 09:03:52 +0100 | wenzelm | added -norc option; | file | diff | annotate |
| Wed, 04 Dec 1996 13:10:11 +0100 | wenzelm | fixed ML_HOME; | file | diff | annotate |
| Mon, 02 Dec 1996 18:19:28 +0100 | wenzelm | changeparent: change parent of Poly/ML database. | file | diff | annotate |