| Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 14:43:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 13:45:46 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
| Sat, 05 Jun 2021 21:01:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
| Mon, 10 May 2021 12:23:30 +0200 |
wenzelm |
build auxiliary jEdit component in Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 24 Mar 2021 21:17:19 +0100 |
wenzelm |
support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
|
file |
diff |
annotate
|
| Fri, 12 Mar 2021 23:30:35 +0100 |
wenzelm |
support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);
|
file |
diff |
annotate
|
| Tue, 09 Mar 2021 17:15:21 +0100 |
wenzelm |
proper Isabelle/Scala tool --- avoid perl;
|
file |
diff |
annotate
|
| Tue, 22 Dec 2020 15:49:22 +0100 |
wenzelm |
more friendly desktop application on macOS;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 22:47:53 +0100 |
wenzelm |
more robust Java monitor: avoid odd warning about insecure connection;
|
file |
diff |
annotate
|
| Sat, 12 Dec 2020 14:48:41 +0100 |
wenzelm |
build Isabelle Vampire component from repository;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 23:36:17 +0100 |
wenzelm |
clarified files;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 20:14:46 +0100 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 21:12:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2020 20:24:34 +0100 |
wenzelm |
support for Mailman list servers;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 19:12:58 +0200 |
wenzelm |
build Isabelle Zipperposition component from OPAM repository;
|
file |
diff |
annotate
|
| Sun, 11 Oct 2020 22:26:55 +0200 |
wenzelm |
support for platform-specific executables;
|
file |
diff |
annotate
|
| Sun, 11 Oct 2020 13:03:22 +0200 |
wenzelm |
build Isabelle veriT component from official download;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2020 20:31:54 +0200 |
wenzelm |
support for MSYS2/MinGW64 on Windows;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2020 20:54:26 +0200 |
wenzelm |
build Isabelle CSDP component from official downloads;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2020 13:12:56 +0200 |
wenzelm |
build Isabelle SPASS component from unofficial download;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2020 22:59:30 +0200 |
wenzelm |
build Isabelle E prover component from official downloads;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2020 22:55:35 +0200 |
wenzelm |
build Isabelle sqlite-jdbc component from official download;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 19:49:25 +0200 |
wenzelm |
formal platform information, notably for ssh;
|
file |
diff |
annotate
|
| Thu, 10 Sep 2020 21:14:50 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 18 Aug 2020 18:23:17 +0200 |
wenzelm |
rudiments of Scala interface for Kodkod;
|
file |
diff |
annotate
|
| Wed, 20 May 2020 20:45:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 14:43:43 +0100 |
wenzelm |
proper message passing -- discontinued obsolete auxiliary commands;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 15:05:33 +0100 |
wenzelm |
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 13 Jan 2020 12:11:25 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Mon, 13 Jan 2020 12:09:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2020 17:53:38 +0100 |
wenzelm |
build in $ISABELLE_HOME;
|
file |
diff |
annotate
|
| Sat, 11 Jan 2020 17:15:54 +0100 |
wenzelm |
clarified fresh build;
|
file |
diff |
annotate
|
| Wed, 30 Oct 2019 15:50:57 +0100 |
wenzelm |
some support for Phabricator server;
|
file |
diff |
annotate
|
| Tue, 29 Oct 2019 18:08:24 +0100 |
wenzelm |
specific support for Linux, notably Ubuntu/Debian;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 14:22:47 +0200 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
| Mon, 19 Aug 2019 19:31:31 +0200 |
wenzelm |
module Thm_Name for Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2019 15:46:38 +0100 |
wenzelm |
support for RDF/XML representation;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2018 13:07:24 +0100 |
wenzelm |
update theory sources based on PIDE markup;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2018 15:21:34 +0100 |
wenzelm |
clarified modules and signature;
|
file |
diff |
annotate
|
| Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 15:13:28 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 19:42:40 +0100 |
wenzelm |
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 15:03:42 +0100 |
wenzelm |
clarified module name (again);
|
file |
diff |
annotate
|
| Fri, 23 Nov 2018 22:55:08 +0100 |
wenzelm |
clarified file name;
|
file |
diff |
annotate
|
| Thu, 22 Nov 2018 23:11:12 +0100 |
wenzelm |
support for construction of Isabelle fonts;
|
file |
diff |
annotate
|
| Thu, 22 Nov 2018 17:34:37 +0100 |
wenzelm |
support for fontforge and its scripting language;
|
file |
diff |
annotate
|
| Thu, 22 Nov 2018 15:47:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 22:38:38 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|