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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more formal extension_manifest, with shasum for sources;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
proper usage;
24 months ago, by wenzelm
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
clarified modules;
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
... and removing Primrec from ROOT too
24 months ago, by paulson
Removal of the Primrec example in preparation for making it an AFP entry
24 months ago, by paulson
merged
24 months ago, 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;
24 months ago, by wenzelm
more robust errors -- on foreground process instead of background server;
24 months ago, by wenzelm
clarified options -l vs. -R;
24 months ago, by wenzelm
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
24 months ago, by wenzelm
proper command-line tool;
24 months ago, by wenzelm
support console output, e.g. "isabelle vscode -C -- --help";
24 months ago, by wenzelm
run Isabelle/VSCode via Scala;
24 months ago, by wenzelm
clarified module name;
24 months ago, by wenzelm
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
24 months ago, by wenzelm
incorporate build_grammar into build_vscode_extension;
24 months ago, by wenzelm
removed old generated file;
24 months ago, 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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip