| Wed, 15 Apr 2015 22:27:31 +0200 |
wenzelm |
avoid mix of languages;
|
changeset |
files
|
| Wed, 15 Apr 2015 22:20:22 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 15 Apr 2015 21:20:37 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Wed, 15 Apr 2015 21:20:27 +0200 |
wenzelm |
ensure that deps are defined in entries, to prevent crash of Graph_View.build_graph;
|
changeset |
files
|
| Wed, 15 Apr 2015 20:00:18 +0200 |
wenzelm |
updated to jdk-7u80, the latest and last public release of Java 7;
|
changeset |
files
|
| Wed, 15 Apr 2015 19:08:37 +0200 |
wenzelm |
session graph with folded base theories, as in document preparation;
|
changeset |
files
|
| Wed, 15 Apr 2015 17:34:45 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 15 Apr 2015 16:48:24 +0200 |
noschinl |
merged
|
changeset |
files
|
| Wed, 15 Apr 2015 15:10:01 +0200 |
noschinl |
rewrite: add ML interface
|
changeset |
files
|
| Wed, 15 Apr 2015 15:57:58 +0200 |
wenzelm |
use wasysym for \<hole>;
|
changeset |
files
|
| Wed, 15 Apr 2015 15:27:45 +0200 |
wenzelm |
tuned signature, clarified modules;
|
changeset |
files
|
| Wed, 15 Apr 2015 14:54:25 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Wed, 15 Apr 2015 14:01:28 +0200 |
wenzelm |
obsolete (see also 94b2690ad494);
|
changeset |
files
|
| Wed, 15 Apr 2015 13:55:01 +0200 |
wenzelm |
GUI controls for ML_statistics, for more digestible protocol dump;
|
changeset |
files
|
| Wed, 15 Apr 2015 11:47:29 +0200 |
wenzelm |
more robust error handling of commands that are declared but not yet defined;
|
changeset |
files
|