Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +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 Mar 2009 15:20:32 +0100 restructured theory Set.thy
changeset
haftmann [Sat, 07 Mar 2009 15:20:32 +0100] rev 30352
restructured theory Set.thy
Sat, 07 Mar 2009 23:37:09 +0100 merged
changeset
wenzelm [Sat, 07 Mar 2009 23:37:09 +0100] rev 30351
merged
Sat, 07 Mar 2009 17:05:40 +0100 Removed "nitpick_maybe" constant. Makarius now taught me a much nicer trick.
changeset
blanchet [Sat, 07 Mar 2009 17:05:40 +0100] rev 30350
Removed "nitpick_maybe" constant. Makarius now taught me a much nicer trick.
Sat, 07 Mar 2009 16:47:36 +0100 Added a second timeout mechanism to Refute.
changeset
blanchet [Sat, 07 Mar 2009 16:47:36 +0100] rev 30349
Added a second timeout mechanism to Refute. For some reason, TimeLimit.timeLimit often does not work, and it leaves Refute running forever, making any evaluation using Mutabelle or Mirabelle impossible. The redundant timeout seems to do the trick.
Sat, 07 Mar 2009 12:27:26 +0100 merged
changeset
blanchet [Sat, 07 Mar 2009 12:27:26 +0100] rev 30348
merged
Sat, 07 Mar 2009 12:26:56 +0100 Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
changeset
blanchet [Sat, 07 Mar 2009 12:26:56 +0100] rev 30347
Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle