| 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
|
| Thu, 26 Jul 2018 15:19:56 +0200 |
wenzelm |
more flexible session selection as in "isabelle jedit";
|
file |
diff |
annotate
|
| Sun, 22 Jul 2018 21:04:49 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2018 20:01:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2018 03:14:44 +0200 |
wenzelm |
added system option "strict_facts";
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 11:47:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|