Mon, 08 Feb 1999 15:54:44 +0100 isatool logo;
wenzelm [Mon, 08 Feb 1999 15:54:44 +0100] rev 6257
isatool logo;
Mon, 08 Feb 1999 15:53:56 +0100 -i option;
wenzelm [Mon, 08 Feb 1999 15:53:56 +0100] rev 6256
-i option;
Mon, 08 Feb 1999 13:02:56 +0100 updated (Stephan Merz);
wenzelm [Mon, 08 Feb 1999 13:02:56 +0100] rev 6255
updated (Stephan Merz);
Mon, 08 Feb 1999 13:02:42 +0100 updated TLA;
wenzelm [Mon, 08 Feb 1999 13:02:42 +0100] rev 6254
updated TLA;
Fri, 05 Feb 1999 21:26:20 +0100 made MLWorks happy;
wenzelm [Fri, 05 Feb 1999 21:26:20 +0100] rev 6253
made MLWorks happy;
Fri, 05 Feb 1999 21:14:17 +0100 examples made separate dirs;
wenzelm [Fri, 05 Feb 1999 21:14:17 +0100] rev 6252
examples made separate dirs;
Fri, 05 Feb 1999 21:12:45 +0100 add_path;
wenzelm [Fri, 05 Feb 1999 21:12:45 +0100] rev 6251
add_path;
Fri, 05 Feb 1999 21:12:18 +0100 Hyperreal made part of Real;
wenzelm [Fri, 05 Feb 1999 21:12:18 +0100] rev 6250
Hyperreal made part of Real;
Fri, 05 Feb 1999 21:11:41 +0100 Session.use_dir: check parent;
wenzelm [Fri, 05 Feb 1999 21:11:41 +0100] rev 6249
Session.use_dir: check parent;
Fri, 05 Feb 1999 21:10:19 +0100 *** empty log message ***
wenzelm [Fri, 05 Feb 1999 21:10:19 +0100] rev 6248
*** empty log message ***
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip