Mon, 19 Nov 2018 13:40:04 +0100 |
nipkow |
Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 19:39:38 +0100 |
wenzelm |
added ML antiquotation @{master_dir};
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
Thu, 08 Nov 2018 22:35:17 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Thu, 08 Nov 2018 16:21:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Thu, 08 Nov 2018 16:18:12 +0100 |
wenzelm |
clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
|
file |
diff |
annotate
|
Sat, 03 Nov 2018 20:30:10 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Wed, 31 Oct 2018 15:53:32 +0100 |
wenzelm |
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
|
file |
diff |
annotate
|
Tue, 30 Oct 2018 22:59:06 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Tue, 30 Oct 2018 22:08:36 +0100 |
wenzelm |
tuned example;
|
file |
diff |
annotate
|
Tue, 30 Oct 2018 22:05:30 +0100 |
wenzelm |
added GHC.read_source: read Haskell source text with antiquotations;
|
file |
diff |
annotate
|
Tue, 30 Oct 2018 16:24:04 +0100 |
fleury |
add reconstruction by veriT in method smt
|
file |
diff |
annotate
|
Thu, 25 Oct 2018 23:33:07 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Thu, 25 Oct 2018 14:04:37 +0200 |
haftmann |
tuned grammar
|
file |
diff |
annotate
|
Sun, 21 Oct 2018 09:39:09 +0200 |
nipkow |
uniform naming of strong congruence rules
|
file |
diff |
annotate
|
Wed, 17 Oct 2018 22:10:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 17 Oct 2018 21:38:07 +0200 |
wenzelm |
support for GHC via command-line tools;
|
file |
diff |
annotate
|
Mon, 08 Oct 2018 15:42:43 +0200 |
wenzelm |
support for OCaml via command-line tools;
|
file |
diff |
annotate
|
Mon, 01 Oct 2018 12:41:35 +0200 |
wenzelm |
HOL-SPARK .prv files are no longer written to the file-system;
|
file |
diff |
annotate
|
Sun, 30 Sep 2018 16:23:35 +0200 |
nipkow |
news
|
file |
diff |
annotate
|
Mon, 24 Sep 2018 23:27:01 +0200 |
nipkow |
NEWS
|
file |
diff |
annotate
|
Sun, 23 Sep 2018 21:49:31 +0200 |
wenzelm |
discontinued old-style goal cases;
|
file |
diff |
annotate
|
Sun, 23 Sep 2018 21:38:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 23 Sep 2018 19:59:53 +0200 |
wenzelm |
discontinued old-style inner comments;
|
file |
diff |
annotate
|
Sun, 23 Sep 2018 13:45:37 +0200 |
nipkow |
News
|
file |
diff |
annotate
|
Sat, 08 Sep 2018 08:08:28 +0000 |
haftmann |
left-over rename from 3f9bb52082c4
|
file |
diff |
annotate
|
Sun, 02 Sep 2018 21:22:52 +0200 |
wenzelm |
clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
|
file |
diff |
annotate
|
Sun, 02 Sep 2018 20:10:53 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Thu, 30 Aug 2018 18:40:53 +0200 |
blanchet |
updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
|
file |
diff |
annotate
|
Mon, 27 Aug 2018 22:58:36 +0200 |
wenzelm |
some NEWS (instead of proper documentation);
|
file |
diff |
annotate
|