| Mon, 06 Nov 2017 17:21:32 +0100 |
wenzelm |
minimal document model for theory files;
|
changeset |
files
|
| Mon, 06 Nov 2017 17:24:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 06 Nov 2017 16:03:13 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 05 Nov 2017 17:45:17 +0100 |
wenzelm |
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
|
changeset |
files
|
| Sun, 05 Nov 2017 16:57:03 +0100 |
wenzelm |
uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
|
changeset |
files
|
| Sun, 05 Nov 2017 15:50:26 +0100 |
wenzelm |
updated comments;
|
changeset |
files
|
| Sun, 05 Nov 2017 14:35:43 +0100 |
wenzelm |
updated to scala-2.12.4;
|
changeset |
files
|
| Sun, 05 Nov 2017 12:13:27 +0100 |
wenzelm |
testing NewTestRegisterSave;
|
changeset |
files
|
| Sat, 04 Nov 2017 21:06:02 +0100 |
wenzelm |
superseded by plain_identify;
|
changeset |
files
|
| Sat, 04 Nov 2017 19:44:28 +0100 |
wenzelm |
tolerate odd negative times from old log files (before 1698e9ccef2d);
|
changeset |
files
|
| Sat, 04 Nov 2017 19:17:19 +0100 |
wenzelm |
prefer main entry points of HOL;
|
changeset |
files
|
| Sat, 04 Nov 2017 18:57:49 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 04 Nov 2017 17:11:21 +0100 |
wenzelm |
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
|
changeset |
files
|
| Sat, 04 Nov 2017 15:24:40 +0100 |
wenzelm |
more robust sorted_entries;
|
changeset |
files
|