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
|
Sun, 22 Nov 2020 13:11:40 +0100 |
wenzelm |
updated to cvc4-1.8;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 19:48:05 +0100 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 18:16:25 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 17:58:00 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 07:17:06 +0000 |
haftmann |
bundles for reflected term syntax
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
Thu, 12 Nov 2020 09:06:44 +0100 |
haftmann |
bundled syntax for state monad combinators
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
Sat, 07 Nov 2020 16:49:51 +0100 |
wenzelm |
clarified output of "isabelle process";
|
file |
diff |
annotate
|
Wed, 04 Nov 2020 07:39:17 +0000 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
Fri, 30 Oct 2020 22:56:15 +0100 |
wenzelm |
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
|
file |
diff |
annotate
|
Thu, 29 Oct 2020 16:07:41 +0100 |
desharna |
Added smt (verit) to Sledgehammer's proof preplay.
|
file |
diff |
annotate
|
Thu, 29 Oct 2020 18:23:28 +0000 |
haftmann |
unified Local_Theory.init with Generic_Target.init
|
file |
diff |
annotate
|
Thu, 29 Oct 2020 10:03:03 +0000 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
Mon, 26 Oct 2020 21:35:39 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Thu, 15 Oct 2020 13:24:16 +0200 |
wenzelm |
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
|
file |
diff |
annotate
|
Tue, 13 Oct 2020 20:28:43 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
Tue, 13 Oct 2020 16:32:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 13 Oct 2020 16:45:38 +0200 |
Mathias Fleury |
reconstruction of veriT proofs in NEWS
|
file |
diff |
annotate
|
Mon, 12 Oct 2020 18:59:44 +0200 |
Mathias Fleury |
add reconstruction for the SMT solver veriT
|
file |
diff |
annotate
|