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

tuned vscode extension;
2022-02-23, by Fabian Huch
tuned vscode extension: split isabelle fsp into workspace and mapping;
2022-02-23, by Fabian Huch
update VSCode plugin dependencies;
2022-02-23, by Fabian Huch
added Isabelle output panel to VSCode extension;
2022-02-23, by Fabian Huch
Simplified a couple of extremely long and ugly apply-proofs
2022-02-23, by paulson
merged
2022-02-22, by wenzelm
some updates to README.md;
2022-02-22, by wenzelm
refer to Isabelle settings via environment, which is provided via "isabelle vscode";
2022-02-22, by wenzelm
more operations;
2022-02-22, by wenzelm
more robust startup wrt. VSCode workspace (by Fabian Huch);
2022-02-22, by wenzelm
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
2022-02-22, by wenzelm
have Sledgehammer honor 'smt_nat_as_int' option
2022-02-22, by blanchet
more handling of Zipperposition definitions in Isar proof construction
2022-02-22, by blanchet
handle Zipperposition definitions in Isar proof construction
2022-02-22, by blanchet
parse Zipperposition definitions
2022-02-22, by blanchet
clarified URL;
2022-02-21, by wenzelm
clarified pdf path;
2022-02-21, by wenzelm
HTTP view of Isabelle PDF documentation;
2022-02-21, by wenzelm
clarified signature;
2022-02-21, by wenzelm
more robust;
2022-02-21, by wenzelm
tuned message;
2022-02-21, by wenzelm
clarified signature: more explicit section structure;
2022-02-21, by wenzelm
clarified signature;
2022-02-21, by wenzelm
clarified signature;
2022-02-21, by wenzelm
tuned signature;
2022-02-21, by wenzelm
tuned;
2022-02-21, by wenzelm
clarified URL (again);
2022-02-21, by wenzelm
more robust toplevel url: allow extra "/";
2022-02-21, by wenzelm
clarified signature;
2022-02-21, by wenzelm
clarified signature;
2022-02-20, by wenzelm
clarified signature;
2022-02-20, by wenzelm
support for PDF.js: platform-independent PDF viewer;
2022-02-20, by wenzelm
more robust mime_type;
2022-02-20, by wenzelm
merged
2022-02-18, by wenzelm
improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin;
2022-02-18, by wenzelm
one new lemma
2022-02-18, by paulson
clarified options;
2022-02-18, by wenzelm
clarified options;
2022-02-18, by wenzelm
clarified directory;
2022-02-18, by wenzelm
tuned whitespace;
2022-02-18, by wenzelm
prefer strict equality, without implicit type conversion;
2022-02-18, by wenzelm
tuned;
2022-02-18, by wenzelm
auto-update by VSCode;
2022-02-18, by wenzelm
more activationEvents, as proposed by Denis Paluca;
2022-02-18, by wenzelm
tuned message;
2022-02-18, by wenzelm
NEWS;
2022-02-18, by wenzelm
run Isabelle/VSCode using local VSCodium installation;
2022-02-18, by wenzelm
provide macos_exe, based on bin/codium from linux;
2022-02-18, by wenzelm
clarified options;
2022-02-18, by wenzelm
Avoid overaggresive splitting.
2022-02-17, by haftmann
more lemmas for distribution
2022-02-17, by haftmann
Avoid overaggresive simplification.
2022-02-17, by haftmann
merged
2022-02-17, by wenzelm
setup VSCode from VSCodium distribution;
2022-02-17, by wenzelm
more robust package_dir, to increase chances that it works with IntelliJ IDEA;
2022-02-17, by wenzelm
NEWS
2022-02-16, by desharna
Mirabelle now considers goals preceding "unfolding" and "using" commands
2022-02-16, by desharna
merged
2022-02-15, by paulson
an assortment of new or stronger lemmas
2022-02-15, by paulson
obsolete (reverting b3d6bb2ebf77): Isabelle/Naproche cache is now value-oriented;
2022-02-15, by wenzelm

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

isabelle