| Mon, 21 Dec 2020 13:58:11 +0100 |
wenzelm |
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 12:51:28 +0100 |
wenzelm |
provide zipperposition-2.0 for experimentation;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:08:14 +0100 |
wenzelm |
download auxiliary files via "curl";
|
file |
diff |
annotate
|
| Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 15:39:21 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:47:33 +0100 |
wenzelm |
added action isabelle.goto-entity to follow links in a narrow formal sense;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 22:44:53 +0100 |
wenzelm |
clarified session log file: avoid erratic messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 18:38:26 +0100 |
wenzelm |
NEWS and documentation for "isabelle log";
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 16:27:37 +0100 |
wenzelm |
PIDE support for session ROOTS;
|
file |
diff |
annotate
|
| Fri, 04 Dec 2020 18:29:48 +0100 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:51:37 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 06:48:35 +0000 |
haftmann |
refined syntax for bundle mixins for locale and class specifications
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|