| Fri, 20 Sep 2024 14:28:13 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
file |
diff |
annotate
|
| Sun, 09 Jun 2024 15:31:33 +0200 |
wenzelm |
more accurate thm "name_hint", using Thm_Name.T;
|
file |
diff |
annotate
|
| Wed, 01 Mar 2023 08:00:51 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
compile TPTP module
|
file |
diff |
annotate
|
| Fri, 10 Dec 2021 08:39:34 +0100 |
desharna |
fixed HOL-TPTP
|
file |
diff |
annotate
|
| Mon, 19 Jul 2021 10:03:20 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Fri, 09 Jul 2021 17:58:17 +0200 |
desharna |
fixed HOL-TPTP following f58108b7a60c
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 22:45:38 +0200 |
wenzelm |
compile;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2021 18:27:55 +0100 |
wenzelm |
compile;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 10:10:44 +0100 |
desharna |
tuned exec field in atp_config
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 17:32:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 16:42:22 +0100 |
desharna |
Updated ML in forgotten in previous commit
|
file |
diff |
annotate
|
| Thu, 08 Oct 2020 17:02:56 +0200 |
desharna |
tune filename
|
file |
diff |
annotate
|
| Fri, 25 Oct 2019 16:27:27 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 17:01:45 +0100 |
wenzelm |
tuned signature -- clarified modules;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 20:02:51 +0100 |
blanchet |
cleaner generation of metainformation in DFG format and TPTP theory exporter for Sledgehammer
|
file |
diff |
annotate
|
| Mon, 05 Oct 2015 13:26:25 +0200 |
blanchet |
extended theory exporter to also export MePo-selected facts
|
file |
diff |
annotate
|
| Thu, 13 Aug 2015 11:05:19 +0200 |
wenzelm |
tuned signature, in accordance to sortBy in Scala;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2015 16:19:45 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2015 19:53:18 +0100 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2015 16:37:45 +0100 |
blanchet |
SPASS-Pirate is now called Pirate
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Thu, 06 Nov 2014 15:42:34 +0100 |
wenzelm |
proper Keyword.keywords (cf. 82a71046dce8);
|
file |
diff |
annotate
|
| Fri, 25 Jul 2014 12:22:18 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Tue, 24 Jun 2014 15:49:20 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Tue, 24 Jun 2014 15:08:19 +0200 |
blanchet |
optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct)
|
file |
diff |
annotate
|
| Mon, 16 Jun 2014 19:44:02 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Tue, 17 Dec 2013 14:03:29 +0100 |
blanchet |
primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype)
|
file |
diff |
annotate
|