isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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

Fri, 14 Aug 2009 21:36:14 +0200 removed atp_minimize invocation

krauss [Fri, 14 Aug 2009 21:36:14 +0200] rev 32377

removed atp_minimize invocation

Fri, 14 Aug 2009 21:28:58 +0200 reverted accidential corruption of superscripts introduced in a508148f7c25

krauss [Fri, 14 Aug 2009 21:28:58 +0200] rev 32376

reverted accidential corruption of superscripts introduced in a508148f7c25

Fri, 14 Aug 2009 17:27:34 +0200 merged

haftmann [Fri, 14 Aug 2009 17:27:34 +0200] rev 32375

merged

Fri, 14 Aug 2009 15:36:57 +0200 inserted space into message

haftmann [Fri, 14 Aug 2009 15:36:57 +0200] rev 32374

inserted space into message

Fri, 14 Aug 2009 15:36:55 +0200 formally stylized

haftmann [Fri, 14 Aug 2009 15:36:55 +0200] rev 32373

formally stylized

Fri, 14 Aug 2009 15:36:54 +0200 formally stylized

haftmann [Fri, 14 Aug 2009 15:36:54 +0200] rev 32372

formally stylized

Fri, 14 Aug 2009 15:36:53 +0200 corrected Pair to Char

haftmann [Fri, 14 Aug 2009 15:36:53 +0200] rev 32371

corrected Pair to Char

Fri, 14 Aug 2009 13:45:52 +0100 merged

webertj [Fri, 14 Aug 2009 13:45:52 +0100] rev 32370

merged

Fri, 14 Aug 2009 13:44:14 +0100 Fixed a bug where the simplifier would hang on

webertj [Fri, 14 Aug 2009 13:44:14 +0100] rev 32369

Fixed a bug where the simplifier would hang on lemma "f a = M { nat j |j. 0 <= j & j < f b}" pre_decomp/pre_tac no longer split terms that contain (non-locally) bound variables (e.g., "nat j" in the above example).

Thu, 13 Aug 2009 17:19:54 +0100 merged

paulson [Thu, 13 Aug 2009 17:19:54 +0100] rev 32368

merged

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

isabelle