wenzelm [Fri, 01 Sep 2000 18:01:05 +0200] rev 9790
ISABELLE_PATH: ML_IDENTIFIER no longer added;
tuned;
wenzelm [Fri, 01 Sep 2000 17:54:58 +0200] rev 9789
GPLed;
more robust handling of spaces in args / file names;
wenzelm [Fri, 01 Sep 2000 17:50:36 +0200] rev 9788
GPLed;
more robust handling of spaces in args / file names;
wenzelm [Fri, 01 Sep 2000 17:48:31 +0200] rev 9787
more robust handling of spaces in args / file names;
tuned;
wenzelm [Fri, 01 Sep 2000 17:47:20 +0200] rev 9786
GPLed;
more robust handling of spaces in args / file names;
tuned;
wenzelm [Fri, 01 Sep 2000 17:45:07 +0200] rev 9785
isatool_document: quote args;
wenzelm [Fri, 01 Sep 2000 17:44:44 +0200] rev 9784
export quote_sysify_path;
wenzelm [Fri, 01 Sep 2000 17:38:03 +0200] rev 9783
/usr/bin/perl;
wenzelm [Fri, 01 Sep 2000 17:37:29 +0200] rev 9782
cleanup dist sources afterwards;
tmp version;
wenzelm [Fri, 01 Sep 2000 17:36:42 +0200] rev 9781
cvs-copy - make copy of CVS controlled directory hierarchy;