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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 28 Dec 2012 14:13:39 +0100
tuned ML function names
changeset
blanchet [Fri, 28 Dec 2012 14:13:39 +0100] rev 50631
tuned ML function names
Fri, 28 Dec 2012 10:25:59 +0100
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
changeset
haftmann [Fri, 28 Dec 2012 10:25:59 +0100] rev 50630
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
Fri, 28 Dec 2012 10:15:39 +0100
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
changeset
haftmann [Fri, 28 Dec 2012 10:15:39 +0100] rev 50629
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
Fri, 28 Dec 2012 09:37:27 +0100
formally corrected
changeset
haftmann [Fri, 28 Dec 2012 09:37:27 +0100] rev 50628
formally corrected
Thu, 27 Dec 2012 21:01:08 +0100
tuned
changeset
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50627
tuned
Thu, 27 Dec 2012 21:01:08 +0100
uniform parentheses for constructor -- necessary to accomodate scala 10
changeset
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50626
uniform parentheses for constructor -- necessary to accomodate scala 10
Thu, 27 Dec 2012 21:01:08 +0100
more explicit name
changeset
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50625
more explicit name
Thu, 27 Dec 2012 16:49:12 +0100
improved thm order hack, in case the default names are overridden
changeset
blanchet [Thu, 27 Dec 2012 16:49:12 +0100] rev 50624
improved thm order hack, in case the default names are overridden
Thu, 27 Dec 2012 15:46:27 +0100
enable theory learning in MaSh
changeset
blanchet [Thu, 27 Dec 2012 15:46:27 +0100] rev 50623
enable theory learning in MaSh
Thu, 27 Dec 2012 12:43:41 +0100
merged
changeset
blanchet [Thu, 27 Dec 2012 12:43:41 +0100] rev 50622
merged
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
tip