Wed, 31 Mar 2021 22:10:56 +0200 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 18:04:16 +0100 |
wenzelm |
more robust ordering (see also 88c96e836ed6);
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 16:23:34 +0100 |
wenzelm |
proper scala.collection.immutable;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 23:17:47 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Tue, 05 Jan 2021 14:21:18 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 03 Jan 2021 16:21:59 +0100 |
wenzelm |
clarified HTML presentation elements;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 00:05:25 +0100 |
wenzelm |
more verbosity for potentially bulky presentation;
|
file |
diff |
annotate
|
Sun, 27 Dec 2020 15:11:06 +0100 |
wenzelm |
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
|
file |
diff |
annotate
|
Wed, 23 Dec 2020 23:19:09 +0100 |
wenzelm |
more robust defaults: spurious problems with parallel invocations and interrupts;
|
file |
diff |
annotate
|
Wed, 23 Dec 2020 23:08:57 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
Mon, 23 Nov 2020 15:34:35 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 21:02:38 +0100 |
wenzelm |
clarified signature: prefer Database_Context;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 17:57:54 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 17:30:44 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 16:22:35 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Sat, 21 Nov 2020 16:07:20 +0100 |
wenzelm |
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
|
file |
diff |
annotate
|
Thu, 19 Nov 2020 21:12:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 21:39:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 23:26:41 +0100 |
wenzelm |
simplified/clarified persistent session information;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 22:57:56 +0100 |
wenzelm |
refer to command_timings/last_timing via resources;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 16:34:01 +0100 |
wenzelm |
clarified access to single database server vs. collection of database files;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:46:02 +0100 |
wenzelm |
clarified signature: master_dir is just Path.current;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:23:04 +0100 |
wenzelm |
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
|
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 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Thu, 12 Nov 2020 12:10:17 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 22:22:56 +0200 |
wenzelm |
some support for document preparation in Isabelle/Scala;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 21:14:47 +0200 |
wenzelm |
unused (see 7b318273a4aa);
|
file |
diff |
annotate
|
Thu, 27 Aug 2020 12:34:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
Fri, 07 Aug 2020 22:19:32 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Thu, 06 Aug 2020 23:44:43 +0200 |
wenzelm |
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
|
file |
diff |
annotate
|
Thu, 06 Aug 2020 23:27:52 +0200 |
wenzelm |
more compact command_timings, as in former batch-build;
|
file |
diff |
annotate
|
Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
Sun, 26 Jul 2020 22:28:43 +0200 |
wenzelm |
enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 18:19:08 +0200 |
wenzelm |
clarified message --- as in former ML version (see 940195fbb282);
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 17:15:28 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 16:58:38 +0200 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 16:41:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 16:37:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 16:32:25 +0200 |
wenzelm |
avoid duplicate Timing messages (see also 5c4800f6b25a);
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 16:25:17 +0200 |
wenzelm |
more accurate message;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 15:51:15 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 15:23:22 +0200 |
wenzelm |
clarified inlined protocol messages;
|
file |
diff |
annotate
|
Fri, 10 Jul 2020 21:58:49 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 10 Jul 2020 21:23:01 +0200 |
wenzelm |
more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
|
file |
diff |
annotate
|
Wed, 08 Jul 2020 14:43:02 +0200 |
wenzelm |
more robust protocol for "Timing ..." messages, notably for pide_session=true;
|
file |
diff |
annotate
|
Fri, 03 Jul 2020 16:48:57 +0200 |
wenzelm |
clarified log message (more uniform);
|
file |
diff |
annotate
|
Wed, 01 Jul 2020 21:14:04 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 24 Jun 2020 20:59:50 +0200 |
wenzelm |
clarified use of memory: prefer share tree structures over fresh strings;
|
file |
diff |
annotate
|
Sat, 20 Jun 2020 16:18:33 +0200 |
wenzelm |
share cache for parallel sessions;
|
file |
diff |
annotate
|
Sat, 20 Jun 2020 15:09:20 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 20 Jun 2020 11:01:57 +0200 |
wenzelm |
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
|
file |
diff |
annotate
|
Fri, 19 Jun 2020 16:12:32 +0200 |
wenzelm |
avoid redundant export handling for build;
|
file |
diff |
annotate
|
Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
Tue, 26 May 2020 11:25:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 26 May 2020 11:17:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 24 May 2020 14:15:44 +0200 |
wenzelm |
clarified build_session protocol;
|
file |
diff |
annotate
|
Sun, 24 May 2020 12:43:04 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
Tue, 28 Apr 2020 19:50:36 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:52:03 +0200 |
wenzelm |
more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
Mon, 06 Apr 2020 22:28:41 +0200 |
wenzelm |
more robust interrupts;
|
file |
diff |
annotate
|
Sat, 04 Apr 2020 18:13:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 20:31:55 +0200 |
wenzelm |
proper "editor_tracing_messages=0" as in "isabelle dump";
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 20:27:52 +0200 |
wenzelm |
clarified build_options vs. job options;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 18:26:04 +0200 |
wenzelm |
more official handling of protocol messages, including export;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 17:35:10 +0200 |
wenzelm |
less redundant markup reports;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 12:45:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 11:47:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 11:29:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 03 Apr 2020 11:22:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 02 Apr 2020 20:37:11 +0200 |
wenzelm |
proper treatment of startup errors, notably for Pure ROOT.ML;
|
file |
diff |
annotate
|
Thu, 02 Apr 2020 20:06:43 +0200 |
wenzelm |
proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 21:43:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 21:10:44 +0200 |
wenzelm |
prefer system option: easier to make it default;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 20:17:23 +0200 |
wenzelm |
pretty formatting as in Isabelle/ML;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 18:36:58 +0200 |
wenzelm |
output prover messages;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 14:32:30 +0200 |
wenzelm |
proper parent base;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 13:55:30 +0200 |
wenzelm |
traditional print_mode for batch build;
|
file |
diff |
annotate
|
Wed, 01 Apr 2020 12:59:05 +0200 |
wenzelm |
proper support for "isabelle build -P Pure";
|
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
|
Mon, 30 Mar 2020 19:50:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 30 Mar 2020 19:39:11 +0200 |
wenzelm |
more accurate treatment of errors;
|
file |
diff |
annotate
|
Mon, 30 Mar 2020 11:59:44 +0200 |
wenzelm |
clarified modules: global quasi-scope for markers;
|
file |
diff |
annotate
|
Sun, 29 Mar 2020 22:30:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 29 Mar 2020 22:23:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 29 Mar 2020 21:57:40 +0200 |
wenzelm |
clarified signature: more explicit type Protocol_Message.Marker;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:58:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:53:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:33:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 19:11:59 +0100 |
wenzelm |
eliminated pointless flag (see also 6533ceee4cd7);
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 18:33:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
Sat, 28 Mar 2020 12:06:37 +0100 |
wenzelm |
clarified signature: more robust startup_join;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:28:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:15:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 20 Mar 2020 16:21:58 +0100 |
wenzelm |
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
|
file |
diff |
annotate
|
Sat, 23 Nov 2019 11:36:42 +0100 |
wenzelm |
clarified error: tmp file can be invalid in odd situations;
|
file |
diff |
annotate
|
Sun, 06 Oct 2019 16:25:20 +0200 |
wenzelm |
clarified signature: more options;
|
file |
diff |
annotate
|