Fri, 25 Nov 2022 22:38:10 +0100 wenzelm clarified exception: avoid odd compiler warning; default tip
Fri, 25 Nov 2022 21:58:40 +0100 wenzelm update to scala-3.2.1;
Fri, 25 Nov 2022 20:45:52 +0100 wenzelm recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
Fri, 25 Nov 2022 20:39:25 +0100 wenzelm update to jdk-17.0.5 (Oct-2022);
Fri, 25 Nov 2022 20:18:10 +0100 wenzelm more standard component build process;
Fri, 25 Nov 2022 20:17:54 +0100 wenzelm proper treatment of tar.gz double-extension;
Fri, 25 Nov 2022 16:20:14 +0100 wenzelm proper download, instead of assuming local directory;
Fri, 25 Nov 2022 15:29:03 +0100 wenzelm more standard component build process;
Fri, 25 Nov 2022 14:44:22 +0100 wenzelm clarified signature;
Fri, 25 Nov 2022 13:38:15 +0100 wenzelm clarified signature;
Fri, 25 Nov 2022 10:57:38 +0100 wenzelm discontinue unused JCEF: superseded by Electron with its bundled Chromium;
Fri, 25 Nov 2022 10:49:46 +0100 wenzelm prefer deterministic result;
Thu, 24 Nov 2022 14:22:43 +0100 wenzelm clarified command-line arguments: follow more recent isabelle build_XYZ;
Wed, 23 Nov 2022 11:48:07 +0100 blanchet compile
Wed, 23 Nov 2022 11:26:50 +0100 blanchet correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output
Mon, 21 Nov 2022 18:23:32 +0100 desharna merged
Mon, 21 Nov 2022 13:53:04 +0100 desharna strengthened and renamed lemma reflp_on_equality
Mon, 21 Nov 2022 13:48:58 +0100 desharna renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
Mon, 21 Nov 2022 16:21:49 +0000 paulson Added an example for Isabelle/CTT
Sun, 20 Nov 2022 23:53:39 +0100 wenzelm clarified signature;
Sun, 20 Nov 2022 23:37:54 +0100 wenzelm clarified signature: more explicit types;
Sun, 13 Nov 2022 21:59:19 +0100 wenzelm tuned output;
Sun, 13 Nov 2022 21:31:45 +0100 wenzelm prefer sorted result;
Sun, 13 Nov 2022 20:45:49 +0100 wenzelm separate style for re-use;
Sun, 13 Nov 2022 20:28:39 +0100 wenzelm ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
Sun, 13 Nov 2022 14:56:24 +0100 wenzelm retain data structures more accurately;
Sat, 12 Nov 2022 19:09:41 +0100 wenzelm proper join without delimiter;
Sat, 12 Nov 2022 19:04:28 +0100 wenzelm more accurate token types;
Sat, 12 Nov 2022 17:21:38 +0100 wenzelm clarified JS namespace;
Fri, 11 Nov 2022 23:25:24 +0100 wenzelm proper support for Windows;
Fri, 11 Nov 2022 23:04:55 +0100 wenzelm support for the Prism.js syntax highlighter -- via external Node.js process;
Fri, 11 Nov 2022 21:35:33 +0100 wenzelm support for JavaScript syntax and Node.js platform;
Thu, 10 Nov 2022 14:55:20 +0100 wenzelm merged
Thu, 10 Nov 2022 12:25:28 +0100 wenzelm tuned signature;
Thu, 10 Nov 2022 12:21:44 +0100 wenzelm clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;
Thu, 10 Nov 2022 11:20:37 +0100 wenzelm clarified signature: only support nameless separator;
Thu, 10 Nov 2022 11:17:26 +0100 wenzelm tuned signature;
Thu, 10 Nov 2022 11:49:34 +0100 blanchet use timeout with MiniSat
Thu, 10 Nov 2022 08:13:28 +0100 desharna merged
Wed, 09 Nov 2022 16:36:22 +0100 desharna added lemma reflp_on_conversp[simp]
Wed, 09 Nov 2022 15:38:43 +0100 desharna added lemma transp_reflclp[simp]
Wed, 09 Nov 2022 15:37:21 +0100 desharna added lemma reflclp_ident_if_reflp[simp]
Wed, 09 Nov 2022 16:39:45 +0100 desharna added lemma reflp_on_reflclp[simp]
Wed, 09 Nov 2022 16:45:12 +0100 desharna strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp
Wed, 09 Nov 2022 21:14:20 +0100 wenzelm more robust selection: avoid duplicates via "batch" number;
Wed, 09 Nov 2022 20:30:52 +0100 wenzelm tuned GUI;
Wed, 09 Nov 2022 19:42:21 +0100 wenzelm clarified GUI.Selector, with support for separator as pseudo-entry;
Wed, 09 Nov 2022 14:20:52 +0100 wenzelm clarified GUI state;
Wed, 09 Nov 2022 13:33:32 +0100 wenzelm clarified file names;
Wed, 09 Nov 2022 13:21:18 +0100 wenzelm clarified Log_Progress vs. GUI: more like Syslog_Dockable;
Wed, 09 Nov 2022 12:32:20 +0100 wenzelm clarified signature: more public operations;
Wed, 09 Nov 2022 12:05:32 +0100 wenzelm tuned signature, following hints by IntelliJ IDEA;
Tue, 08 Nov 2022 08:41:48 +0100 nipkow merged
Tue, 08 Nov 2022 08:41:29 +0100 nipkow retain derived lemma for better findability
Mon, 07 Nov 2022 22:16:37 +0100 nipkow generalized sorted_sort_id to sort_key_id_if_sorted
Mon, 07 Nov 2022 21:53:36 +0100 wenzelm suppress document_required GUI element for now: still unused;
Mon, 07 Nov 2022 21:51:14 +0100 wenzelm clarified layout;
Mon, 07 Nov 2022 21:32:09 +0100 wenzelm clarified node_required status: distinguish theory_required vs. document_required;
Sun, 06 Nov 2022 23:10:28 +0100 wenzelm proper user tool;
Sun, 06 Nov 2022 22:20:51 +0100 wenzelm tuned comments;
Sun, 06 Nov 2022 22:17:28 +0100 wenzelm support for EPTCS style with demo document;
Sun, 06 Nov 2022 21:45:06 +0100 wenzelm tuned message;
Sun, 06 Nov 2022 20:56:05 +0100 wenzelm clarified delay -- more reactive;
Sun, 06 Nov 2022 20:44:12 +0100 wenzelm provide Session.init_time as reference point for diagnostic messages;
Sun, 06 Nov 2022 20:27:35 +0100 wenzelm afford more reactive consolidation;
Sun, 06 Nov 2022 19:25:48 +0100 wenzelm minor performance tuning;
Sun, 06 Nov 2022 18:54:32 +0100 wenzelm tuned;
Sun, 06 Nov 2022 15:28:56 +0100 wenzelm afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
Sun, 06 Nov 2022 12:54:46 +0100 wenzelm proper executable files for Windows;
Sun, 06 Nov 2022 12:20:38 +0100 wenzelm further attempts to confine dotnet to $ISABELLE_HOME_USER;
Sun, 06 Nov 2022 12:11:13 +0100 wenzelm tuned output;
Sun, 06 Nov 2022 12:07:44 +0100 wenzelm more command-line options;
Sun, 06 Nov 2022 12:00:35 +0100 wenzelm clarified component settings: always update existing version;
Sun, 06 Nov 2022 00:00:17 +0100 wenzelm more TODO for release;
Sat, 05 Nov 2022 23:42:07 +0100 wenzelm disable telemetry;
Sat, 05 Nov 2022 23:16:43 +0100 wenzelm clarified error;
Sat, 05 Nov 2022 23:08:35 +0100 wenzelm tuned message, example is in NEWS;
Sat, 05 Nov 2022 22:59:38 +0100 wenzelm proper default_platform;
Sat, 05 Nov 2022 22:45:26 +0100 wenzelm tuned NEWS;
Sat, 05 Nov 2022 22:38:56 +0100 wenzelm tuned message;
Sat, 05 Nov 2022 22:35:20 +0100 wenzelm support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
Sat, 05 Nov 2022 19:13:48 +0100 wenzelm tuned signature;
Sat, 05 Nov 2022 16:24:59 +0100 wenzelm tuned comments;
Sat, 05 Nov 2022 14:53:29 +0100 wenzelm clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
Sat, 05 Nov 2022 14:41:51 +0100 wenzelm clarified options: support lualatex as well, but prefer old pdflatex for demos;
Sat, 05 Nov 2022 14:29:19 +0100 wenzelm more command-line options;
Sat, 05 Nov 2022 13:11:45 +0100 wenzelm proper URL;
Sat, 05 Nov 2022 13:08:37 +0100 wenzelm document_build engine for "lipics", with options and document_files;
Sat, 05 Nov 2022 12:29:22 +0100 wenzelm clarified signature: allow to change options in instances of Document_Build.Engine;
Sat, 05 Nov 2022 12:27:53 +0100 wenzelm tuned signature;
Sat, 05 Nov 2022 12:12:33 +0100 wenzelm clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
Sat, 05 Nov 2022 09:57:51 +0100 nipkow Better use the finite simproc selectively only
Fri, 04 Nov 2022 20:56:07 +0100 wenzelm tuned document;
Fri, 04 Nov 2022 20:48:14 +0100 wenzelm tuned document;
Fri, 04 Nov 2022 20:32:20 +0100 wenzelm clarified LaTeX style;
Fri, 04 Nov 2022 20:15:54 +0100 wenzelm support for Springer LLNCS with demo document;
Fri, 04 Nov 2022 20:02:54 +0100 wenzelm prefer explicit utf8 for old pdflatex;
Fri, 04 Nov 2022 19:59:00 +0100 wenzelm tuned;
Fri, 04 Nov 2022 19:57:21 +0100 wenzelm proper chapter (amending 809cd1195795);
Fri, 04 Nov 2022 18:59:54 +0100 wenzelm merged
Fri, 04 Nov 2022 17:35:21 +0100 wenzelm tuned (again);
Fri, 04 Nov 2022 17:17:05 +0100 wenzelm prefer strict operation (see also f29056da5903);
Fri, 04 Nov 2022 17:14:41 +0100 wenzelm more antiquotations;
Fri, 04 Nov 2022 17:11:48 +0100 wenzelm tuned;
Fri, 04 Nov 2022 16:59:56 +0100 wenzelm prefer strict operation;
Fri, 04 Nov 2022 16:51:07 +0100 wenzelm tuned;
Fri, 04 Nov 2022 16:35:39 +0100 wenzelm clarified signature;
Fri, 04 Nov 2022 15:34:23 +0100 wenzelm tuned signature;
Fri, 04 Nov 2022 15:15:25 +0100 wenzelm tuned signature;
Fri, 04 Nov 2022 15:09:44 +0100 wenzelm tuned;
Fri, 04 Nov 2022 15:05:23 +0100 wenzelm tuned;
Fri, 04 Nov 2022 14:53:25 +0100 wenzelm misc tuning;
Fri, 04 Nov 2022 13:33:04 +0100 wenzelm clarified options;
Fri, 04 Nov 2022 11:38:01 +0100 wenzelm tuned;
Fri, 04 Nov 2022 11:11:40 +0100 wenzelm tuned;
Fri, 04 Nov 2022 13:19:52 +0100 nipkow merged
Thu, 03 Nov 2022 14:20:07 +0100 nipkow added finite simproc
Thu, 03 Nov 2022 21:09:37 +0100 wenzelm merged
Thu, 03 Nov 2022 21:09:20 +0100 wenzelm clarified directory layout: templates for user sessions;
Thu, 03 Nov 2022 20:58:10 +0100 wenzelm tuned proofs;
(0) -30000 -10000 -3000 -1000 -120 tip