isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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

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.

Thu, 04 Mar 1999 14:23:51 +0100 fixed again;

wenzelm [Thu, 04 Mar 1999 14:23:51 +0100] rev 6304

fixed again;

Wed, 03 Mar 1999 11:27:10 +0100 expandshort

paulson [Wed, 03 Mar 1999 11:27:10 +0100] rev 6303

expandshort

Wed, 03 Mar 1999 11:26:36 +0100 added UNITY/Extend

paulson [Wed, 03 Mar 1999 11:26:36 +0100] rev 6302

added UNITY/Extend

Wed, 03 Mar 1999 11:15:18 +0100 expandshort

paulson [Wed, 03 Mar 1999 11:15:18 +0100] rev 6301

expandshort

Wed, 03 Mar 1999 11:12:29 +0100 tidied

paulson [Wed, 03 Mar 1999 11:12:29 +0100] rev 6300

tidied

Wed, 03 Mar 1999 10:50:42 +0100 UNITY fully working at last...

paulson [Wed, 03 Mar 1999 10:50:42 +0100] rev 6299

UNITY fully working at last...

Wed, 03 Mar 1999 10:36:24 +0100 expandshort

paulson [Wed, 03 Mar 1999 10:36:24 +0100] rev 6298

expandshort

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

isabelle