Wed, 07 Jun 2006 02:01:27 +0200 do not open Logic;
wenzelm [Wed, 07 Jun 2006 02:01:27 +0200] rev 19805
do not open Logic;
Wed, 07 Jun 2006 01:59:17 +0200 tuned;
wenzelm [Wed, 07 Jun 2006 01:59:17 +0200] rev 19804
tuned;
Wed, 07 Jun 2006 01:51:22 +0200 removed obsolete ML files;
wenzelm [Wed, 07 Jun 2006 01:51:22 +0200] rev 19803
removed obsolete ML files;
Wed, 07 Jun 2006 01:06:53 +0200 removed obsolete ML files;
wenzelm [Wed, 07 Jun 2006 01:06:53 +0200] rev 19802
removed obsolete ML files;
Wed, 07 Jun 2006 00:57:14 +0200 removed obsolete ML files;
wenzelm [Wed, 07 Jun 2006 00:57:14 +0200] rev 19801
removed obsolete ML files;
Tue, 06 Jun 2006 20:47:12 +0200 removed Toplevel.debug;
wenzelm [Tue, 06 Jun 2006 20:47:12 +0200] rev 19800
removed Toplevel.debug;
Tue, 06 Jun 2006 20:42:30 +0200 added zip_options;
wenzelm [Tue, 06 Jun 2006 20:42:30 +0200] rev 19799
added zip_options;
Tue, 06 Jun 2006 20:42:28 +0200 tuned;
wenzelm [Tue, 06 Jun 2006 20:42:28 +0200] rev 19798
tuned;
Tue, 06 Jun 2006 20:42:27 +0200 updated;
wenzelm [Tue, 06 Jun 2006 20:42:27 +0200] rev 19797
updated;
Tue, 06 Jun 2006 20:42:25 +0200 quoted "if";
wenzelm [Tue, 06 Jun 2006 20:42:25 +0200] rev 19796
quoted "if";
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip