2022-03-28 haftmann modernized handling of variables
2022-03-27 haftmann structurally tuned
2022-03-27 haftmann tuned names
2022-03-27 haftmann prefer build combinator
2022-03-27 haftmann tuned whitespace
2022-03-25 wenzelm proper option argument;
2022-03-25 wenzelm prefer Isabelle shasum over the old command-line tool with its extra marker character;
2022-03-25 wenzelm tuned signature;
2022-03-25 wenzelm tuned signature;
2022-03-25 wenzelm tuned text, without update of component for now;
2022-03-25 wenzelm omit somewhat pointless integrity check;
2022-03-25 wenzelm tuned;
2022-03-25 blanchet compile TPTP module
2022-03-25 blanchet compile mirabelle
2022-03-25 blanchet further modernized E setup
2022-03-25 blanchet cleaned up obsolete E setup and a bit of SPASS
2022-03-25 blanchet second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
2022-03-25 blanchet first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
2022-03-25 wenzelm updated vscode_extension;
2022-03-25 blanchet added parentheses in TPTP output -- seem necessary for some provers
2022-03-24 wenzelm merged
2022-03-24 wenzelm provide pre-built vscodium-1.65.2 for all platforms;
2022-03-24 wenzelm tuned;
2022-03-24 wenzelm provide vscode_extension via component, thus users don't need Node.js development tools;
2022-03-24 wenzelm clarified options;
2022-03-24 paulson Some new library lemmas
2022-03-24 paulson merged
2022-03-24 paulson really removing Dedekind_real
2022-03-24 paulson merged
2022-03-24 paulson Moving Dedekind_Real to the AFP
2022-03-24 haftmann tuned
2022-03-24 haftmann separated case reduction
2022-03-24 haftmann separated selector function entirely
2022-03-24 haftmann self-contained extraction auf clauses
2022-03-24 haftmann extracted selector function, restoring code generation for let expressions
2022-03-24 haftmann streamlined
2022-03-24 haftmann streamlined
2022-03-24 haftmann streamlined
2022-03-24 haftmann disentangled
2022-03-23 wenzelm merged
2022-03-23 wenzelm tuned message;
2022-03-23 wenzelm more operations;
2022-03-23 wenzelm tuned signature;
2022-03-23 wenzelm more robust install/uninstall;
2022-03-23 wenzelm more formal extension_manifest, with shasum for sources;
2022-03-23 wenzelm tuned;
2022-03-23 wenzelm tuned signature;
2022-03-23 wenzelm clarified signature;
2022-03-23 wenzelm proper usage;
2022-03-22 wenzelm tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
2022-03-22 wenzelm tuned signature;
2022-03-22 wenzelm clarified modules;
2022-03-22 wenzelm tuned signature;
2022-03-23 paulson ... and removing Primrec from ROOT too
2022-03-23 paulson Removal of the Primrec example in preparation for making it an AFP entry
2022-03-23 desharna merged
2022-02-23 desharna avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
2022-03-14 Mathias Fleury split veriT reconstruction into Lethe and veriT part
2022-03-22 wenzelm clarified options;
2022-03-22 wenzelm more robust errors -- on foreground process instead of background server;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip