Mon, 08 Feb 1999 17:31:50 +0100 added fetch, fetch_theory;
wenzelm [Mon, 08 Feb 1999 17:31:50 +0100] rev 6261
added fetch, fetch_theory;
Mon, 08 Feb 1999 17:30:22 +0100 ~~;
wenzelm [Mon, 08 Feb 1999 17:30:22 +0100] rev 6260
~~;
Mon, 08 Feb 1999 17:29:08 +0100 path element specification '~~' refers to '$ISABELLE_HOME';
wenzelm [Mon, 08 Feb 1999 17:29:08 +0100] rev 6259
path element specification '~~' refers to '$ISABELLE_HOME';
Mon, 08 Feb 1999 15:55:35 +0100 no deps on compile time sources;
wenzelm [Mon, 08 Feb 1999 15:55:35 +0100] rev 6258
no deps on compile time sources;
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;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip