Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 30 Dec 2012 18:23:07 +0100 more informative error;
changeset
wenzelm [Sun, 30 Dec 2012 18:23:07 +0100] rev 50640
more informative error;
Sun, 30 Dec 2012 16:59:11 +0100 tuned -- recovered comments from 791157a4179a;
changeset
wenzelm [Sun, 30 Dec 2012 16:59:11 +0100] rev 50639
tuned -- recovered comments from 791157a4179a;
Sun, 30 Dec 2012 16:40:28 +0100 tuned;
changeset
wenzelm [Sun, 30 Dec 2012 16:40:28 +0100] rev 50638
tuned;
Sun, 30 Dec 2012 16:33:05 +0100 tuned whitespace;
changeset
wenzelm [Sun, 30 Dec 2012 16:33:05 +0100] rev 50637
tuned whitespace;
Sun, 30 Dec 2012 16:23:30 +0100 uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
changeset
wenzelm [Sun, 30 Dec 2012 16:23:30 +0100] rev 50636
uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
Sat, 29 Dec 2012 23:15:51 +0100 tuned;
changeset
wenzelm [Sat, 29 Dec 2012 23:15:51 +0100] rev 50635
tuned;
Sat, 29 Dec 2012 17:18:01 +0100 new theory Library/Finite_Lattice
changeset
nipkow [Sat, 29 Dec 2012 17:18:01 +0100] rev 50634
new theory Library/Finite_Lattice
Fri, 28 Dec 2012 23:31:51 +0100 tuned ML function name
changeset
blanchet [Fri, 28 Dec 2012 23:31:51 +0100] rev 50633
tuned ML function name
Fri, 28 Dec 2012 21:03:39 +0100 slightly more elegant naming convention (to keep low-level and high-level APIs separated)
changeset
blanchet [Fri, 28 Dec 2012 21:03:39 +0100] rev 50632
slightly more elegant naming convention (to keep low-level and high-level APIs separated)
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
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
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle