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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 15 Jan 2011 14:02:24 +0100
merged;
changeset
wenzelm [Sat, 15 Jan 2011 14:02:24 +0100] rev 41572
merged;
Sat, 15 Jan 2011 13:34:10 +0100
misc tuning for release;
changeset
wenzelm [Sat, 15 Jan 2011 13:34:10 +0100] rev 41571
misc tuning for release;
Sat, 15 Jan 2011 13:48:45 +0100
normalize Z3 models: assignments to free variables should ideally not refer to other free variables
changeset
boehmes [Sat, 15 Jan 2011 13:48:45 +0100] rev 41570
normalize Z3 models: assignments to free variables should ideally not refer to other free variables
Sat, 15 Jan 2011 13:41:58 +0100
Also added SPARK to test and clean targets.
changeset
berghofe [Sat, 15 Jan 2011 13:41:58 +0100] rev 41569
Also added SPARK to test and clean targets.
Sat, 15 Jan 2011 13:19:16 +0100
merged
changeset
berghofe [Sat, 15 Jan 2011 13:19:16 +0100] rev 41568
merged
Sat, 15 Jan 2011 12:49:10 +0100
Added entry for HOL-SPARK
changeset
berghofe [Sat, 15 Jan 2011 12:49:10 +0100] rev 41567
Added entry for HOL-SPARK
Sat, 15 Jan 2011 12:48:39 +0100
Added HOL-SPARK and removed old_primrec.ML
changeset
berghofe [Sat, 15 Jan 2011 12:48:39 +0100] rev 41566
Added HOL-SPARK and removed old_primrec.ML
Sat, 15 Jan 2011 12:47:52 +0100
unused_thms no longer compares propositions, since this is no longer needed
changeset
berghofe [Sat, 15 Jan 2011 12:47:52 +0100] rev 41565
unused_thms no longer compares propositions, since this is no longer needed and did not work properly any longer after the addition of class constraints to propositions.
Sat, 15 Jan 2011 12:42:19 +0100
Include HOL-SPARK keywords
changeset
berghofe [Sat, 15 Jan 2011 12:42:19 +0100] rev 41564
Include HOL-SPARK keywords
Sat, 15 Jan 2011 12:41:07 +0100
Include HOL-SPARK
changeset
berghofe [Sat, 15 Jan 2011 12:41:07 +0100] rev 41563
Include HOL-SPARK
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip