Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
Thu, 27 Dec 2012 12:34:06 +0100 new version of MaSh
changeset
blanchet [Thu, 27 Dec 2012 12:34:06 +0100] rev 50621
new version of MaSh
Thu, 27 Dec 2012 10:21:21 +0100 fixed total
changeset
blanchet [Thu, 27 Dec 2012 10:21:21 +0100] rev 50620
fixed total
Thu, 27 Dec 2012 10:01:40 +0100 new version of MaSh, with theory-level reasoning
changeset
blanchet [Thu, 27 Dec 2012 10:01:40 +0100] rev 50619
new version of MaSh, with theory-level reasoning
Thu, 27 Dec 2012 11:32:28 +0100 tuned
changeset
haftmann [Thu, 27 Dec 2012 11:32:28 +0100] rev 50618
tuned
Wed, 26 Dec 2012 11:06:21 +0100 prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
changeset
wenzelm [Wed, 26 Dec 2012 11:06:21 +0100] rev 50617
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
Sun, 23 Dec 2012 19:54:15 +0100 renamed and added lemmas
changeset
nipkow [Sun, 23 Dec 2012 19:54:15 +0100] rev 50616
renamed and added lemmas
Sat, 22 Dec 2012 00:04:50 +0100 added simp rule
changeset
nipkow [Sat, 22 Dec 2012 00:04:50 +0100] rev 50615
added simp rule
Fri, 21 Dec 2012 23:52:10 +0100 merged
changeset
nipkow [Fri, 21 Dec 2012 23:52:10 +0100] rev 50614
merged
Fri, 21 Dec 2012 16:31:37 +0100 merged
changeset
nipkow [Fri, 21 Dec 2012 16:31:37 +0100] rev 50613
merged
Fri, 21 Dec 2012 10:08:06 +0100 merged
changeset
nipkow [Fri, 21 Dec 2012 10:08:06 +0100] rev 50612
merged
Fri, 21 Dec 2012 15:22:57 +0100 linearize eval driver, to work around horrible bug in previous implementation
changeset
blanchet [Fri, 21 Dec 2012 15:22:57 +0100] rev 50611
linearize eval driver, to work around horrible bug in previous implementation
Fri, 21 Dec 2012 14:35:29 +0100 name tuning
changeset
blanchet [Fri, 21 Dec 2012 14:35:29 +0100] rev 50610
name tuning
Fri, 21 Dec 2012 13:33:54 +0100 merge
changeset
blanchet [Fri, 21 Dec 2012 13:33:54 +0100] rev 50609
merge
Thu, 20 Dec 2012 15:51:27 +0100 better weight functions for MePo/MaSh etc.
changeset
blanchet [Thu, 20 Dec 2012 15:51:27 +0100] rev 50608
better weight functions for MePo/MaSh etc.
Thu, 20 Dec 2012 15:51:24 +0100 merge
changeset
blanchet [Thu, 20 Dec 2012 15:51:24 +0100] rev 50607
merge
Wed, 19 Dec 2012 22:44:51 +0100 more
changeset
blanchet [Wed, 19 Dec 2012 22:44:51 +0100] rev 50606
more
Wed, 19 Dec 2012 22:44:24 +0100 tuned infix table
changeset
nipkow [Wed, 19 Dec 2012 22:44:24 +0100] rev 50605
tuned infix table
Wed, 19 Dec 2012 22:43:07 +0100 crank up default timeout for MaSh ATP learning
changeset
blanchet [Wed, 19 Dec 2012 22:43:07 +0100] rev 50604
crank up default timeout for MaSh ATP learning
Wed, 19 Dec 2012 22:26:26 +0100 removed odd associativity of ==
changeset
nipkow [Wed, 19 Dec 2012 22:26:26 +0100] rev 50603
removed odd associativity of ==
Fri, 21 Dec 2012 11:05:44 +0100 updated SMT certificates
changeset
boehmes [Fri, 21 Dec 2012 11:05:44 +0100] rev 50602
updated SMT certificates
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle