isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

Tue, 09 Mar 1999 12:07:52 +0100 pretty_thm_no_quote;

wenzelm [Tue, 09 Mar 1999 12:07:52 +0100] rev 6314

pretty_thm_no_quote;

Tue, 09 Mar 1999 12:07:32 +0100 HTML.setup;

wenzelm [Tue, 09 Mar 1999 12:07:32 +0100] rev 6313

HTML.setup;

Tue, 09 Mar 1999 12:07:16 +0100 added nth_elem_string, exists_string;

wenzelm [Tue, 09 Mar 1999 12:07:16 +0100] rev 6312

added nth_elem_string, exists_string;

Tue, 09 Mar 1999 12:06:09 +0100 token translation: real;

wenzelm [Tue, 09 Mar 1999 12:06:09 +0100] rev 6311

token translation: real;

Tue, 09 Mar 1999 12:05:07 +0100 tuned;

wenzelm [Tue, 09 Mar 1999 12:05:07 +0100] rev 6310

tuned;

Tue, 09 Mar 1999 11:09:01 +0100 tidied

paulson [Tue, 09 Mar 1999 11:09:01 +0100] rev 6309

tidied

Tue, 09 Mar 1999 11:01:39 +0100 Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.

paulson [Tue, 09 Mar 1999 11:01:39 +0100] rev 6308

Added Bella's "Gets" model for Otway_Rees. Also affects some other theories. Changing "spies" to "knows Spy", etc. Retaining the constant "spies" as a translation.

Mon, 08 Mar 1999 13:49:53 +0100 Suc -> +1

nipkow [Mon, 08 Mar 1999 13:49:53 +0100] rev 6307

Suc -> +1

Mon, 08 Mar 1999 13:49:14 +0100 modified zip

nipkow [Mon, 08 Mar 1999 13:49:14 +0100] rev 6306

modified zip

Fri, 05 Mar 1999 12:11:54 +0100 Fixed bug in add_datatype_axm:

berghofe [Fri, 05 Mar 1999 12:11:54 +0100] rev 6305

Fixed bug in add_datatype_axm: Recursion and case combinators were assigned inconsistent names in quick_and_dirty mode, which caused recdef etc. to crash.

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle