wenzelm [Mon, 09 Nov 1998 12:27:41 +0100] rev 5817
Check release name and date in NEWS!
wenzelm [Mon, 09 Nov 1998 11:25:24 +0100] rev 5816
smart interrupt handler;
wenzelm [Mon, 09 Nov 1998 11:20:46 +0100] rev 5815
option -I: startup Isar interaction mode;
wenzelm [Mon, 09 Nov 1998 11:20:07 +0100] rev 5814
isabelle -I;
wenzelm [Mon, 09 Nov 1998 11:09:33 +0100] rev 5813
fake interrupt handler;
wenzelm [Mon, 09 Nov 1998 11:08:42 +0100] rev 5812
simple interrupt_handler;
paulson [Mon, 09 Nov 1998 11:00:44 +0100] rev 5811
new Domain/Range rules
paulson [Mon, 09 Nov 1998 10:59:47 +0100] rev 5810
new TIMES/Sigma rules
paulson [Mon, 09 Nov 1998 10:58:49 +0100] rev 5809
removed obsolete comment and "open" declaration
paulson [Fri, 06 Nov 1998 15:48:37 +0100] rev 5808
"Subscribe" link
wenzelm [Fri, 06 Nov 1998 14:04:54 +0100] rev 5807
spell check;
wenzelm [Fri, 06 Nov 1998 13:58:59 +0100] rev 5806
tuned;
mueller [Fri, 06 Nov 1998 13:42:13 +0100] rev 5805
added mailing list, removed mirrors;
paulson [Fri, 06 Nov 1998 13:20:29 +0100] rev 5804
Revising the Client proof as suggested by Michel Charpentier. New lemmas
about composition (in Union.ML), etc. Also changed "length" to "size"
because it is displayed as "size" in any event.
mueller [Thu, 05 Nov 1998 15:33:27 +0100] rev 5803
made more generic;
nipkow [Thu, 05 Nov 1998 14:05:57 +0100] rev 5802
Shortened names and added new thm.
paulson [Wed, 04 Nov 1998 13:00:15 +0100] rev 5801
Some streamlining of text.
Theory library is now assumed to be LOCAL and not at TUM.
wenzelm [Tue, 03 Nov 1998 17:44:16 +0100] rev 5800
tuned;
wenzelm [Tue, 03 Nov 1998 09:57:53 +0100] rev 5799
tuned width of pics;
wenzelm [Tue, 03 Nov 1998 09:47:49 +0100] rev 5798
tuned;
wenzelm [Mon, 02 Nov 1998 22:18:35 +0100] rev 5797
oops;
wenzelm [Mon, 02 Nov 1998 22:16:49 +0100] rev 5796
tuned pics;
wenzelm [Mon, 02 Nov 1998 22:00:12 +0100] rev 5795
made weblint happy;
wenzelm [Mon, 02 Nov 1998 21:57:49 +0100] rev 5794
oops;