| Sun, 18 Sep 2011 15:59:38 +0200 |
wenzelm |
tentative announcement based on current NEWS;
|
changeset |
files
|
| Sun, 18 Sep 2011 15:57:36 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 18 Sep 2011 15:39:55 +0200 |
wenzelm |
separated NEWS for Isabelle2011 from Isabelle2011-1 (cf. e1139e612b55);
|
changeset |
files
|
| Sun, 18 Sep 2011 15:30:31 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 18 Sep 2011 15:30:21 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:55:45 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:55:27 +0200 |
wenzelm |
updated Complete_Lattices;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:48:25 +0200 |
wenzelm |
some tuning and re-ordering for release;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:34:24 +0200 |
wenzelm |
misc tuning for release;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:25:53 +0200 |
wenzelm |
more contributors;
|
changeset |
files
|
| Sun, 18 Sep 2011 14:09:57 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sun, 18 Sep 2011 13:56:06 +0200 |
wenzelm |
tweak keyboard shortcuts for Mac OS X;
|
changeset |
files
|
| Sun, 18 Sep 2011 13:47:12 +0200 |
wenzelm |
explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
|
changeset |
files
|
| Sun, 18 Sep 2011 13:39:33 +0200 |
wenzelm |
finite sequences as useful as introductory example;
|
changeset |
files
|
| Sun, 18 Sep 2011 12:48:45 +0200 |
wenzelm |
discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
|
changeset |
files
|
| Sun, 18 Sep 2011 00:05:22 +0200 |
wenzelm |
graph traversal in topological order;
|
changeset |
files
|
| Sat, 17 Sep 2011 23:04:03 +0200 |
wenzelm |
Document.Node.Name convenience;
|
changeset |
files
|
| Sat, 17 Sep 2011 22:13:15 +0200 |
wenzelm |
more precise painting;
|
changeset |
files
|
| Sat, 17 Sep 2011 21:28:52 +0200 |
wenzelm |
more elaborate Node_Renderer, which paints node_name.theory only;
|
changeset |
files
|
| Sat, 17 Sep 2011 19:55:32 +0200 |
wenzelm |
raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin;
|
changeset |
files
|
| Sat, 17 Sep 2011 19:44:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 17 Sep 2011 19:25:14 +0200 |
wenzelm |
more careful traversal of theory dependencies to retain standard import order;
|
changeset |
files
|
| Sat, 17 Sep 2011 17:55:39 +0200 |
wenzelm |
sane default for class Thy_Load;
|
changeset |
files
|
| Sat, 17 Sep 2011 17:05:31 +0200 |
wenzelm |
removed obsolete patches for PG 4.1;
|
changeset |
files
|
| Sat, 17 Sep 2011 16:53:01 +0200 |
wenzelm |
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
|
changeset |
files
|
| Sat, 17 Sep 2011 16:29:18 +0200 |
wenzelm |
added "isabelle scalac" convenience;
|
changeset |
files
|
| Sat, 17 Sep 2011 16:19:40 +0200 |
wenzelm |
Symbol.explode as in ML;
|
changeset |
files
|
| Sat, 17 Sep 2011 16:00:54 +0200 |
wenzelm |
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
|
changeset |
files
|
| Sat, 17 Sep 2011 15:08:55 +0200 |
haftmann |
dropped unused argument – avoids problem with SML/NJ
|
changeset |
files
|
| Sat, 17 Sep 2011 00:40:27 +0200 |
haftmann |
tuned spacing
|
changeset |
files
|