| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:49:20 +0100 |
wenzelm |
clarified Resources.init_session for low-level "isabelle process";
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 13:11:15 +0100 |
wenzelm |
refer to HTML symbols via resources;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 22:04:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 18:16:20 +0100 |
wenzelm |
more scalable: avoid large strings on command-line;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:42:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2020 12:48:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2020 16:49:51 +0100 |
wenzelm |
clarified output of "isabelle process";
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 22:57:14 +0200 |
wenzelm |
provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored);
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 22:28:04 +0200 |
wenzelm |
adapted to 7b318273a4aa;
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 20:19:49 +0200 |
wenzelm |
ML statistics via external process: allows monitoring RTS while ML program sleeps;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 12:38:41 +0200 |
wenzelm |
more robust: explicit check for PIDE session;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 10:36:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2020 22:27:02 +0200 |
wenzelm |
clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 11:35:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 06 Oct 2019 14:17:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 16:00:10 +0200 |
wenzelm |
find theories via session directories only -- ignore known_theories;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 13:33:09 +0200 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
| Sat, 23 Feb 2019 21:32:29 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2019 16:50:48 +0100 |
wenzelm |
clarified ML_OPTIONS on Windows;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2019 21:18:35 +0100 |
wenzelm |
strict bash invocation: proper error checking;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2019 20:20:01 +0100 |
wenzelm |
more robust system channel via options that are private to the user;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 20:05:13 +0200 |
wenzelm |
support for build_database_server (PostgreSQL);
|
file |
diff |
annotate
|
| Fri, 18 May 2018 21:00:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 18 May 2018 17:09:55 +0200 |
wenzelm |
support Store with options;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 09 Feb 2018 17:57:36 +0100 |
wenzelm |
more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
|
file |
diff |
annotate
|
| Sun, 28 Jan 2018 12:57:35 +0100 |
wenzelm |
proper signature (amending c4e9e0c50487);
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:44:25 +0100 |
wenzelm |
clarifified selection: always wrt. build_graph structure;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:03:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2017 11:25:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 12:50:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 12:36:00 +0200 |
wenzelm |
proper output of raw ML;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2017 12:39:36 +0200 |
wenzelm |
clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
|
file |
diff |
annotate
|
| Thu, 13 Apr 2017 12:27:57 +0200 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|