Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
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 |