Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 07 Nov 2009 08:31:56 -0800 merged
changeset
huffman [Sat, 07 Nov 2009 08:31:56 -0800] rev 33508
merged
Sat, 07 Nov 2009 07:37:20 -0800 merged
changeset
huffman [Sat, 07 Nov 2009 07:37:20 -0800] rev 33507
merged
Fri, 06 Nov 2009 09:50:37 -0800 fix name of lemma snd_strict
changeset
huffman [Fri, 06 Nov 2009 09:50:37 -0800] rev 33506
fix name of lemma snd_strict
Thu, 05 Nov 2009 15:38:09 -0800 use try instead of handle
changeset
huffman [Thu, 05 Nov 2009 15:38:09 -0800] rev 33505
use try instead of handle
Thu, 05 Nov 2009 11:47:00 -0800 map functions for various types, with ep_pair/deflation/finite_deflation lemmas
changeset
huffman [Thu, 05 Nov 2009 11:47:00 -0800] rev 33504
map functions for various types, with ep_pair/deflation/finite_deflation lemmas
Thu, 05 Nov 2009 11:36:30 -0800 lemma deflation_strict
changeset
huffman [Thu, 05 Nov 2009 11:36:30 -0800] rev 33503
lemma deflation_strict
Sat, 07 Nov 2009 16:54:13 +0100 tuned ML_OPTIONS for SML/NJ -- for improved performance;
changeset
wenzelm [Sat, 07 Nov 2009 16:54:13 +0100] rev 33502
tuned ML_OPTIONS for SML/NJ -- for improved performance;
Sat, 07 Nov 2009 08:18:12 +0100 merged
changeset
haftmann [Sat, 07 Nov 2009 08:18:12 +0100] rev 33501
merged
Sat, 07 Nov 2009 08:17:53 +0100 added predicate example
changeset
haftmann [Sat, 07 Nov 2009 08:17:53 +0100] rev 33500
added predicate example
Sat, 07 Nov 2009 08:17:52 +0100 tuned
changeset
haftmann [Sat, 07 Nov 2009 08:17:52 +0100] rev 33499
tuned
Sat, 07 Nov 2009 08:17:52 +0100 modernized primrec
changeset
haftmann [Sat, 07 Nov 2009 08:17:52 +0100] rev 33498
modernized primrec
Fri, 06 Nov 2009 21:53:20 +0100 made SML/NJ happy
changeset
boehmes [Fri, 06 Nov 2009 21:53:20 +0100] rev 33497
made SML/NJ happy
Fri, 06 Nov 2009 21:20:37 +0100 merged
changeset
nipkow [Fri, 06 Nov 2009 21:20:37 +0100] rev 33496
merged
Wed, 04 Nov 2009 11:40:59 +0100 merged
changeset
nipkow [Wed, 04 Nov 2009 11:40:59 +0100] rev 33495
merged
Thu, 29 Oct 2009 16:23:57 +0100 Replaced exception CRing by error because it is meant for the user.
changeset
nipkow [Thu, 29 Oct 2009 16:23:57 +0100] rev 33494
Replaced exception CRing by error because it is meant for the user.
Fri, 06 Nov 2009 19:22:52 +0100 merged
changeset
nipkow [Fri, 06 Nov 2009 19:22:52 +0100] rev 33493
merged
Fri, 06 Nov 2009 19:22:32 +0100 Command atp_minimize uses the naive linear algorithm now
changeset
nipkow [Fri, 06 Nov 2009 19:22:32 +0100] rev 33492
Command atp_minimize uses the naive linear algorithm now because the binary chop one had turned out to be a little bit suboptimal. Internally the binary chop one is still available.
Fri, 06 Nov 2009 19:02:36 +0100 merged
changeset
bulwahn [Fri, 06 Nov 2009 19:02:36 +0100] rev 33491
merged
Fri, 06 Nov 2009 16:59:17 +0100 merged
changeset
bulwahn [Fri, 06 Nov 2009 16:59:17 +0100] rev 33490
merged
Fri, 06 Nov 2009 14:16:57 +0100 merged
changeset
bulwahn [Fri, 06 Nov 2009 14:16:57 +0100] rev 33489
merged
Fri, 06 Nov 2009 12:10:55 +0100 merge
changeset
bulwahn [Fri, 06 Nov 2009 12:10:55 +0100] rev 33488
merge
Fri, 06 Nov 2009 08:47:32 +0100 merged
changeset
bulwahn [Fri, 06 Nov 2009 08:47:32 +0100] rev 33487
merged
Fri, 06 Nov 2009 08:18:35 +0100 adopted the predicate compile quickcheck
changeset
bulwahn [Fri, 06 Nov 2009 08:18:35 +0100] rev 33486
adopted the predicate compile quickcheck
Fri, 06 Nov 2009 08:11:58 +0100 made definition of functions generically for the different instances
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33485
made definition of functions generically for the different instances
Fri, 06 Nov 2009 08:11:58 +0100 renamed generator to random_function in the predicate compiler
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33484
renamed generator to random_function in the predicate compiler
Fri, 06 Nov 2009 08:11:58 +0100 improved handling of already defined functions in the predicate compiler; could cause trouble before when no modes for a predicate were infered
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33483
improved handling of already defined functions in the predicate compiler; could cause trouble before when no modes for a predicate were infered
Fri, 06 Nov 2009 08:11:58 +0100 strictly respecting the line margin in the predicate compiler core
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33482
strictly respecting the line margin in the predicate compiler core
Fri, 06 Nov 2009 08:11:58 +0100 adopted mode syntax for values command
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33481
adopted mode syntax for values command
Fri, 06 Nov 2009 08:11:58 +0100 disabled upt example because of a problem due to overloaded constants with the predicate compiler
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33480
disabled upt example because of a problem due to overloaded constants with the predicate compiler
Fri, 06 Nov 2009 08:11:58 +0100 added optional mode annotations for parameters in the values command
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33479
added optional mode annotations for parameters in the values command
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle