isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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

Wed, 18 Feb 2009 11:31:05 +0100 merged

haftmann [Wed, 18 Feb 2009 11:31:05 +0100] rev 29965

merged

Wed, 18 Feb 2009 08:23:45 +0100 merged

haftmann [Wed, 18 Feb 2009 08:23:45 +0100] rev 29964

merged

Wed, 18 Feb 2009 08:23:12 +0100 first working version

haftmann [Wed, 18 Feb 2009 08:23:12 +0100] rev 29963

first working version

Wed, 18 Feb 2009 08:23:11 +0100 tuned comments, stripped ID, deleted superfluous code

haftmann [Wed, 18 Feb 2009 08:23:11 +0100] rev 29962

tuned comments, stripped ID, deleted superfluous code

Wed, 18 Feb 2009 08:23:11 +0100 stripped ID

haftmann [Wed, 18 Feb 2009 08:23:11 +0100] rev 29961

stripped ID

Wed, 18 Feb 2009 11:18:01 +0000 Syntactic support for products over set intervals

paulson [Wed, 18 Feb 2009 11:18:01 +0000] rev 29960

Syntactic support for products over set intervals

Wed, 18 Feb 2009 11:17:29 +0000 No idea what happened here!

paulson [Wed, 18 Feb 2009 11:17:29 +0000] rev 29959

No idea what happened here!

Tue, 17 Feb 2009 10:03:58 +0000 Even and odd powers of -1

paulson [Tue, 17 Feb 2009 10:03:58 +0000] rev 29958

Even and odd powers of -1

Wed, 18 Feb 2009 10:26:48 +0100 merged

blanchet [Wed, 18 Feb 2009 10:26:48 +0100] rev 29957

merged

Tue, 17 Feb 2009 14:01:54 +0100 Reintroduce set_interpreter for Collect and op :.

blanchet [Tue, 17 Feb 2009 14:01:54 +0100] rev 29956

Reintroduce set_interpreter for Collect and op :. I removed them by accident when removing old code that dealt with the "set" type. Incidentally, there is still some broken "set" code in Refute that should be fixed (see TODO in refute.ML).

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

isabelle