| Sat, 02 Oct 2021 17:55:36 +0200 |
wenzelm |
updated to xz-java-1.9;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 17:45:49 +0200 |
wenzelm |
updated to sqlite-jdbc-3.36.0.3;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 17:40:03 +0200 |
wenzelm |
updated to postgresql-42.2.24;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 17:32:23 +0200 |
wenzelm |
updated to jfreechart-1.5.3;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 17:21:54 +0200 |
wenzelm |
updated to flatlaf-1.6;
|
file |
diff |
annotate
|
| Fri, 01 Oct 2021 12:45:47 +0200 |
wenzelm |
provide verit-2021.06-rmx;
|
file |
diff |
annotate
|
| Mon, 27 Sep 2021 20:45:26 +0200 |
wenzelm |
provide zipperposition-2.1 (still unused);
|
file |
diff |
annotate
|
| Fri, 24 Sep 2021 12:53:11 +0200 |
wenzelm |
update to e-2.6, following Martin Desharnais;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 21:27:44 +0200 |
wenzelm |
update to jdk-17+35 (LTS);
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 21:20:36 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 15 Sep 2021 19:46:03 +0200 |
wenzelm |
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
|
file |
diff |
annotate
|
| Wed, 15 Sep 2021 16:02:04 +0200 |
wenzelm |
clarified name and options for old vampire-4.2.2;
|
file |
diff |
annotate
|
| Mon, 02 Aug 2021 14:08:42 +0200 |
wenzelm |
clarified jEdit java sources;
|
file |
diff |
annotate
|
| Mon, 26 Jul 2021 13:12:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 25 Jul 2021 14:46:08 +0200 |
wenzelm |
update to Haskell stack-2.7.3 and stackage lts-17.15;
|
file |
diff |
annotate
|
| Sat, 24 Jul 2021 19:55:10 +0200 |
wenzelm |
clarified compiler output: allow multithreaded execution;
|
file |
diff |
annotate
|
| Sat, 24 Jul 2021 18:01:24 +0200 |
wenzelm |
clarified props: more permissive;
|
file |
diff |
annotate
|
| Sat, 24 Jul 2021 16:40:10 +0200 |
wenzelm |
clarified properties: "module" and "no_build";
|
file |
diff |
annotate
|
| Sun, 18 Jul 2021 13:27:23 +0200 |
wenzelm |
clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 21:56:39 +0200 |
wenzelm |
rebuild component;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 21:31:15 +0200 |
wenzelm |
more accurate scala_project, based on build.props of components;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 13:42:21 +0200 |
wenzelm |
clarified build_props: empty module means no build;
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 22:27:00 +0200 |
wenzelm |
rebuild component;
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 21:37:19 +0200 |
wenzelm |
rebuild component;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Sun, 11 Jul 2021 16:57:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 09 Jul 2021 21:07:35 +0200 |
wenzelm |
rebuild component;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 16:27:35 +0200 |
wenzelm |
clarified component settings;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2021 13:46:42 +0200 |
wenzelm |
clarified modules and signatures;
|
file |
diff |
annotate
|
| Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|