| 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
|
| Sat, 25 Aug 2018 10:29:31 +0200 |
wenzelm |
retain original PolyML.pointerEq;
|
file |
diff |
annotate
|
| Thu, 23 Aug 2018 17:09:39 +0000 |
haftmann |
simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 22:09:09 +0200 |
wenzelm |
optional notification of nodes_status (via progress);
|
file |
diff |
annotate
|
| Sat, 11 Aug 2018 16:02:55 +0200 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 20:58:41 +0200 |
wenzelm |
isabelle build options -c -x -B refer to imports_graph;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2018 18:24:47 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|