Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+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, 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
Sat, 15 Jan 2011 12:38:56 +0100
Finally removed old primrec package, since Primrec.add_primrec_global
changeset
berghofe [Sat, 15 Jan 2011 12:38:56 +0100] rev 41562
Finally removed old primrec package, since Primrec.add_primrec_global can be used instead.
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip