isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

updated vscode_extension;
2022-03-25, by wenzelm
added parentheses in TPTP output -- seem necessary for some provers
2022-03-25, by blanchet
merged
2022-03-24, by wenzelm
provide pre-built vscodium-1.65.2 for all platforms;
2022-03-24, by wenzelm
tuned;
2022-03-24, by wenzelm
provide vscode_extension via component, thus users don't need Node.js development tools;
2022-03-24, by wenzelm
clarified options;
2022-03-24, by wenzelm
Some new library lemmas
2022-03-24, by paulson
merged
2022-03-24, by paulson
really removing Dedekind_real
2022-03-24, by paulson
merged
2022-03-24, by paulson
Moving Dedekind_Real to the AFP
2022-03-24, by paulson
tuned
2022-03-24, by haftmann
separated case reduction
2022-03-24, by haftmann
separated selector function entirely
2022-03-24, by haftmann
self-contained extraction auf clauses
2022-03-24, by haftmann
extracted selector function, restoring code generation for let expressions
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
disentangled
2022-03-24, by haftmann
merged
2022-03-23, by wenzelm
tuned message;
2022-03-23, by wenzelm
more operations;
2022-03-23, by wenzelm
tuned signature;
2022-03-23, by wenzelm
more robust install/uninstall;
2022-03-23, by wenzelm
more formal extension_manifest, with shasum for sources;
2022-03-23, by wenzelm
tuned;
2022-03-23, by wenzelm
tuned signature;
2022-03-23, by wenzelm
clarified signature;
2022-03-23, by wenzelm
proper usage;
2022-03-23, by wenzelm
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
2022-03-22, by wenzelm
tuned signature;
2022-03-22, by wenzelm
clarified modules;
2022-03-22, by wenzelm
tuned signature;
2022-03-22, by wenzelm
... and removing Primrec from ROOT too
2022-03-23, by paulson
Removal of the Primrec example in preparation for making it an AFP entry
2022-03-23, by paulson
merged
2022-03-23, by desharna
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
2022-02-23, by desharna
split veriT reconstruction into Lethe and veriT part
2022-03-14, by Mathias Fleury
clarified options;
2022-03-22, by wenzelm
more robust errors -- on foreground process instead of background server;
2022-03-22, by wenzelm
clarified options -l vs. -R;
2022-03-22, by wenzelm
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
2022-03-22, by wenzelm
proper command-line tool;
2022-03-22, by wenzelm
support console output, e.g. "isabelle vscode -C -- --help";
2022-03-22, by wenzelm
run Isabelle/VSCode via Scala;
2022-03-22, by wenzelm
clarified module name;
2022-03-21, by wenzelm
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
2022-03-21, by wenzelm
incorporate build_grammar into build_vscode_extension;
2022-03-21, by wenzelm
removed old generated file;
2022-03-21, by wenzelm
Tidied several ugly proofs in some elderly examples
2022-03-16, by paulson
tuned message;
2022-03-15, by wenzelm
clarified errors;
2022-03-15, by wenzelm
tuned messages;
2022-03-15, by wenzelm
support Node.js as well, reusing the engine from Electron/VSCodium;
2022-03-15, by wenzelm
updated to vscode 1.65.2;
2022-03-15, by wenzelm
proper result check;
2022-03-15, by wenzelm
merged
2022-03-14, by wenzelm
clarified directory layout and settings: more robust on all platforms;
2022-03-14, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle