haftmann [Mon, 28 Mar 2022 12:54:09 +0000] rev 75356
modernized handling of variables
haftmann [Sun, 27 Mar 2022 19:27:54 +0000] rev 75355
structurally tuned
haftmann [Sun, 27 Mar 2022 19:27:53 +0000] rev 75354
tuned names
haftmann [Sun, 27 Mar 2022 19:27:52 +0000] rev 75353
prefer build combinator
haftmann [Sun, 27 Mar 2022 19:27:50 +0000] rev 75352
tuned whitespace
wenzelm [Fri, 25 Mar 2022 17:21:39 +0100] rev 75351
proper option argument;
wenzelm [Fri, 25 Mar 2022 17:20:12 +0100] rev 75350
prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm [Fri, 25 Mar 2022 17:08:32 +0100] rev 75349
tuned signature;
wenzelm [Fri, 25 Mar 2022 17:00:12 +0100] rev 75348
tuned signature;
clarified modules;
wenzelm [Fri, 25 Mar 2022 16:41:03 +0100] rev 75347
tuned text, without update of component for now;
wenzelm [Fri, 25 Mar 2022 16:40:48 +0100] rev 75346
omit somewhat pointless integrity check;
wenzelm [Fri, 25 Mar 2022 16:35:15 +0100] rev 75345
tuned;
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75344
compile TPTP module
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75343
compile mirabelle
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75342
further modernized E setup
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75341
cleaned up obsolete E setup and a bit of SPASS
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75340
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75339
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
wenzelm [Fri, 25 Mar 2022 13:25:26 +0100] rev 75338
updated vscode_extension;
blanchet [Fri, 25 Mar 2022 10:45:47 +0100] rev 75337
added parentheses in TPTP output -- seem necessary for some provers
wenzelm [Thu, 24 Mar 2022 23:54:40 +0100] rev 75336
merged
wenzelm [Thu, 24 Mar 2022 23:33:55 +0100] rev 75335
provide pre-built vscodium-1.65.2 for all platforms;
wenzelm [Thu, 24 Mar 2022 22:35:47 +0100] rev 75334
tuned;
wenzelm [Thu, 24 Mar 2022 22:27:17 +0100] rev 75333
provide vscode_extension via component, thus users don't need Node.js development tools;
proper default for edit_extension;
tuned messages;
wenzelm [Thu, 24 Mar 2022 20:45:14 +0100] rev 75332
clarified options;
tuned messages;
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 22:43:41 +0000] rev 75331
Some new library lemmas
paulson [Thu, 24 Mar 2022 22:21:24 +0000] rev 75330
merged
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 18:50:11 +0000] rev 75329
really removing Dedekind_real
paulson [Thu, 24 Mar 2022 18:28:51 +0000] rev 75328
merged
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 18:28:44 +0000] rev 75327
Moving Dedekind_Real to the AFP
haftmann [Thu, 24 Mar 2022 16:34:44 +0000] rev 75326
tuned
haftmann [Thu, 24 Mar 2022 16:34:43 +0000] rev 75325
separated case reduction
haftmann [Thu, 24 Mar 2022 16:34:42 +0000] rev 75324
separated selector function entirely
haftmann [Thu, 24 Mar 2022 16:34:41 +0000] rev 75323
self-contained extraction auf clauses
haftmann [Thu, 24 Mar 2022 16:34:40 +0000] rev 75322
extracted selector function, restoring code generation for let expressions
haftmann [Thu, 24 Mar 2022 16:34:39 +0000] rev 75321
streamlined
haftmann [Thu, 24 Mar 2022 16:34:38 +0000] rev 75320
streamlined
haftmann [Thu, 24 Mar 2022 16:34:37 +0000] rev 75319
streamlined
haftmann [Thu, 24 Mar 2022 16:34:35 +0000] rev 75318
disentangled
wenzelm [Wed, 23 Mar 2022 20:26:33 +0100] rev 75317
merged
wenzelm [Wed, 23 Mar 2022 17:24:09 +0100] rev 75316
tuned message;
wenzelm [Wed, 23 Mar 2022 16:53:00 +0100] rev 75315
more operations;
wenzelm [Wed, 23 Mar 2022 16:41:32 +0100] rev 75314
tuned signature;
wenzelm [Wed, 23 Mar 2022 13:43:13 +0100] rev 75313
more robust install/uninstall;
clarified extension_name (again): --locate-extension wants to see a lowercase name;
wenzelm [Wed, 23 Mar 2022 13:05:54 +0100] rev 75312
more formal extension_manifest, with shasum for sources;
wenzelm [Wed, 23 Mar 2022 12:21:13 +0100] rev 75311
tuned;
wenzelm [Wed, 23 Mar 2022 12:15:25 +0100] rev 75310
tuned signature;
wenzelm [Wed, 23 Mar 2022 12:02:56 +0100] rev 75309
clarified signature;
wenzelm [Wed, 23 Mar 2022 11:40:34 +0100] rev 75308
proper usage;
wenzelm [Tue, 22 Mar 2022 20:25:52 +0100] rev 75307
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
wenzelm [Tue, 22 Mar 2022 20:06:41 +0100] rev 75306
tuned signature;
wenzelm [Tue, 22 Mar 2022 19:33:38 +0100] rev 75305
clarified modules;
wenzelm [Tue, 22 Mar 2022 19:19:09 +0100] rev 75304
tuned signature;
paulson <lp15@cam.ac.uk> [Wed, 23 Mar 2022 14:36:11 +0000] rev 75303
... and removing Primrec from ROOT too
paulson <lp15@cam.ac.uk> [Wed, 23 Mar 2022 14:22:56 +0000] rev 75302
Removal of the Primrec example in preparation for making it an AFP entry
desharna [Wed, 23 Mar 2022 10:54:22 +0100] rev 75301
merged
desharna [Wed, 23 Feb 2022 08:43:44 +0100] rev 75300
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 14 Mar 2022 07:12:48 +0100] rev 75299
split veriT reconstruction into Lethe and veriTÂ part
wenzelm [Tue, 22 Mar 2022 19:08:47 +0100] rev 75298
clarified options;
wenzelm [Tue, 22 Mar 2022 18:56:28 +0100] rev 75297
more robust errors -- on foreground process instead of background server;