| Mon, 31 Dec 2012 12:25:11 +0100 |
wenzelm |
recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
|
changeset |
files
|
| Mon, 31 Dec 2012 12:09:51 +0100 |
wenzelm |
updated to smlnj-110.75;
|
changeset |
files
|
| Sun, 30 Dec 2012 21:49:20 +0100 |
wenzelm |
tuned rendering;
|
changeset |
files
|
| Sun, 30 Dec 2012 20:15:02 +0100 |
wenzelm |
ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions);
|
changeset |
files
|
| Sun, 30 Dec 2012 18:23:31 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 30 Dec 2012 18:23:07 +0100 |
wenzelm |
more informative error;
|
changeset |
files
|
| Sun, 30 Dec 2012 16:59:11 +0100 |
wenzelm |
tuned -- recovered comments from 791157a4179a;
|
changeset |
files
|
| Sun, 30 Dec 2012 16:40:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 30 Dec 2012 16:33:05 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sun, 30 Dec 2012 16:23:30 +0100 |
wenzelm |
uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
|
changeset |
files
|
| Sat, 29 Dec 2012 23:15:51 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 29 Dec 2012 17:18:01 +0100 |
nipkow |
new theory Library/Finite_Lattice
|
changeset |
files
|
| Fri, 28 Dec 2012 23:31:51 +0100 |
blanchet |
tuned ML function name
|
changeset |
files
|
| Fri, 28 Dec 2012 21:03:39 +0100 |
blanchet |
slightly more elegant naming convention (to keep low-level and high-level APIs separated)
|
changeset |
files
|
| Fri, 28 Dec 2012 14:13:39 +0100 |
blanchet |
tuned ML function names
|
changeset |
files
|
| Fri, 28 Dec 2012 10:25:59 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
changeset |
files
|
| Fri, 28 Dec 2012 10:15:39 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
changeset |
files
|
| Fri, 28 Dec 2012 09:37:27 +0100 |
haftmann |
formally corrected
|
changeset |
files
|
| Thu, 27 Dec 2012 21:01:08 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 27 Dec 2012 21:01:08 +0100 |
haftmann |
uniform parentheses for constructor -- necessary to accomodate scala 10
|
changeset |
files
|
| Thu, 27 Dec 2012 21:01:08 +0100 |
haftmann |
more explicit name
|
changeset |
files
|
| Thu, 27 Dec 2012 16:49:12 +0100 |
blanchet |
improved thm order hack, in case the default names are overridden
|
changeset |
files
|
| Thu, 27 Dec 2012 15:46:27 +0100 |
blanchet |
enable theory learning in MaSh
|
changeset |
files
|
| Thu, 27 Dec 2012 12:43:41 +0100 |
blanchet |
merged
|
changeset |
files
|
| Thu, 27 Dec 2012 12:34:06 +0100 |
blanchet |
new version of MaSh
|
changeset |
files
|
| Thu, 27 Dec 2012 10:21:21 +0100 |
blanchet |
fixed total
|
changeset |
files
|
| Thu, 27 Dec 2012 10:01:40 +0100 |
blanchet |
new version of MaSh, with theory-level reasoning
|
changeset |
files
|
| Thu, 27 Dec 2012 11:32:28 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Wed, 26 Dec 2012 11:06:21 +0100 |
wenzelm |
prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
|
changeset |
files
|
| Sun, 23 Dec 2012 19:54:15 +0100 |
nipkow |
renamed and added lemmas
|
changeset |
files
|