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;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 tip