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

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
tuned;
2022-03-14, by wenzelm
support Electron application framework;
2022-03-14, by wenzelm
generated lemma map_ident_strong for BNFs
2022-03-11, by desharna
updated SMT certificates
2022-03-11, by desharna
used more descriptive assert names in SMT-Lib output
2022-03-11, by desharna
clarified and unified executable names;
2022-03-12, by wenzelm
tuned;
2022-03-12, by wenzelm
tuned;
2022-03-12, by wenzelm
merged
2022-03-11, by wenzelm
suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
2022-03-11, by wenzelm
fix handling of lambdas in reconstruction of eq_congruent
2022-03-11, by Mathias Fleury
more robust: avoid breakdown of Search dialog;
2022-03-11, by wenzelm
tuned;
2022-03-11, by wenzelm
always use Isabelle encoding, as in Isabelle/jEdit;
2022-03-11, by wenzelm
tuned signature;
2022-03-11, by wenzelm
clarified signature: more uniform ts vs. Scala;
2022-03-11, by wenzelm
discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249;
2022-03-11, by wenzelm
actually decode/encode symbols;
2022-03-10, by wenzelm
merged
2022-03-10, by wenzelm
prefer yarn over npm;
2022-03-10, by wenzelm
more accurate .hgignore;
2022-03-10, by wenzelm
clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
2022-03-10, by wenzelm
tuned messages;
2022-03-09, by wenzelm
proper init_resources for macos;
2022-03-09, by wenzelm
clarified names;
2022-03-09, by wenzelm
clarified modules: vscode vs. extension;
2022-03-09, by wenzelm
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
2022-03-09, by wenzelm
more operations;
2022-03-09, by wenzelm
tuned comments;
2022-03-09, by wenzelm
patch VSCode source tree to support isabelle_encoding.ts;
2022-03-09, by wenzelm
more robust, pass "yarn valid-layers-check";
2022-03-08, by wenzelm
clarified directories;
2022-03-08, by wenzelm
patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
2022-03-08, by wenzelm
fit into vscode source conventions;
2022-03-08, by wenzelm
A tiny further cleanup
2022-03-09, by paulson
Tidied some messy proofs
2022-03-09, by paulson

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

isabelle