Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Thu, 11 Nov 2021 21:54:28 +0100 |
wenzelm |
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
|
file |
diff |
annotate
|
Mon, 08 Nov 2021 12:45:35 +0100 |
wenzelm |
just one cache, via HTML_Context, via Sessions.Store or Session;
|
file |
diff |
annotate
|
Sat, 06 Nov 2021 10:11:25 +0100 |
wenzelm |
proper treatment of session build hierarchy;
|
file |
diff |
annotate
|
Thu, 04 Nov 2021 12:37:45 +0100 |
wenzelm |
avoid conflict with future keyword;
|
file |
diff |
annotate
|
Tue, 02 Nov 2021 15:40:02 +0100 |
wenzelm |
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
|
file |
diff |
annotate
|
Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 07 Sep 2021 17:13:34 +0200 |
wenzelm |
more robust: progress.stopped means that build has failed;
|
file |
diff |
annotate
|
Tue, 07 Sep 2021 17:07:28 +0200 |
wenzelm |
more reactive interrupt;
|
file |
diff |
annotate
|
Tue, 07 Sep 2021 16:34:17 +0200 |
wenzelm |
more reactive interrupt;
|
file |
diff |
annotate
|
Thu, 12 Aug 2021 13:14:49 +0200 |
wenzelm |
proper prover_options for batch-build;
|
file |
diff |
annotate
|
Mon, 26 Jul 2021 13:04:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 30 Jun 2021 11:35:07 +0200 |
wenzelm |
clarified signature: prefer Java interfaces;
|
file |
diff |
annotate
|
Tue, 08 Jun 2021 23:23:59 +0200 |
wenzelm |
clarified documentation: tracing messages are not shown here;
|
file |
diff |
annotate
|
Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 23:30:46 +0200 |
wenzelm |
allow build session setup, e.g. for protocol handlers;
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 22:58:38 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 22:46:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 25 May 2021 23:37:32 +0200 |
wenzelm |
clarified document export names;
|
file |
diff |
annotate
|
Tue, 25 May 2021 23:00:29 +0200 |
wenzelm |
avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;
|
file |
diff |
annotate
|
Mon, 24 May 2021 11:58:06 +0200 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
Sun, 23 May 2021 22:46:30 +0200 |
wenzelm |
syslog option for "isabelle build";
|
file |
diff |
annotate
|
Mon, 17 May 2021 20:32:52 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 16 May 2021 13:06:13 +0200 |
wenzelm |
check timeout_ignored as in ML, before applying timeout_scale;
|
file |
diff |
annotate
|
Sun, 11 Apr 2021 22:47:55 +0200 |
wenzelm |
more uniform use of Byte_Message;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 16 Jan 2021 17:02:14 +0100 |
wenzelm |
clarified return code: re-use SIGALRM for soft timeout;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 22:50:09 +0100 |
wenzelm |
clarified caching;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 20:14:05 +0100 |
wenzelm |
proper relative path;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 15:32:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 23:29:11 +0100 |
wenzelm |
more informative error;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 22:57:25 +0100 |
wenzelm |
proper else statement;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 22:44:53 +0100 |
wenzelm |
clarified session log file: avoid erratic messages;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 22:15:16 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 18:38:26 +0100 |
wenzelm |
NEWS and documentation for "isabelle log";
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 17:41:46 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 17:14:49 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 17:09:06 +0100 |
wenzelm |
clarified Pretty.Metric, as for build errors;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 17:01:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 15:27:41 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 15:21:55 +0100 |
wenzelm |
clarified output of Isabelle symbols;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 14:51:56 +0100 |
wenzelm |
clarified file sources: take from build database instead of file-system;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 14:31:34 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Dec 2020 14:13:03 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Wed, 09 Dec 2020 20:19:27 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 09 Dec 2020 20:10:10 +0100 |
wenzelm |
added "isabelle log": print messages from build database;
|
file |
diff |
annotate
|
Wed, 09 Dec 2020 15:53:45 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 09 Dec 2020 15:14:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 08 Dec 2020 16:30:17 +0100 |
wenzelm |
clarified signature: name according to db model without Sessions.Structure/Deps;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 22:02:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 21:49:39 +0100 |
wenzelm |
read theory with PIDE markup from session database;
|
file |
diff |
annotate
|
Mon, 07 Dec 2020 16:47:47 +0100 |
wenzelm |
clarified exports;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 12:43:21 +0100 |
wenzelm |
clarified signature, notably access to blob files;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|