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 +10000 tip

tuned signature;
2017-11-13, by wenzelm
proper ssh.bash_path;
2017-11-13, by wenzelm
more operations;
2017-11-13, by wenzelm
synchronous use_theories, based on consolidated_state;
2017-11-12, by wenzelm
clarified modules;
2017-11-12, by wenzelm
optional session_base, e.g. from existing Sessions.Deps in build.scala;
2017-11-12, by wenzelm
synchronous session start (similar to isabelle.vscode.Server);
2017-11-12, by wenzelm
tuned signature (again, see 1a9e2a2bf251);
2017-11-12, by wenzelm
tuned signature;
2017-11-12, by wenzelm
simplified: eliminated pointless Thy_Document_Model;
2017-11-12, by wenzelm
theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
2017-11-12, by wenzelm
load theories via PIDE document update;
2017-11-12, by wenzelm
tuned signature;
2017-11-12, by wenzelm
PIDE resources for theory files;
2017-11-12, by wenzelm
tuned;
2017-11-12, by wenzelm
tuned signature;
2017-11-12, by wenzelm
dedicated definition for coprimality
2017-11-11, by haftmann
more induct rules on nat
2017-11-11, by haftmann
avoid download of components;
2017-11-11, by wenzelm
local user_home for improved performance, but only after given changeset for stability of measurement history;
2017-11-11, by wenzelm
support alternative USER_HOME directory;
2017-11-11, by wenzelm
clarified settings environment;
2017-11-11, by wenzelm
tuned signature;
2017-11-11, by wenzelm
tuned;
2017-11-11, by wenzelm
more options for "isabelle mkroot";
2017-11-11, by wenzelm
adapted to changed ROOT syntax (see 13857f49d215);
2017-11-11, by wenzelm
converted to Isabelle/Scala;
2017-11-11, by wenzelm
replaced raw proof blocks by local lemmas
2017-11-10, by nipkow
Replaced Raw Proof Blocks by Local Lemmas
2017-11-09, by nipkow
tuned
2017-11-09, by nipkow
merged
2017-11-08, by nipkow
corrected priority
2017-11-08, by nipkow
merged
2017-11-08, by wenzelm
formal dependency on "poly" executable;
2017-11-08, by wenzelm
removed obsolete workaround: always use existing IntInf.pow;
2017-11-08, by wenzelm
strip some trailing spaces to force Pure rebuild after ce6454669360
2017-11-08, by Lars Hupel
merged
2017-11-07, by wenzelm
proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
2017-11-07, by wenzelm
clarified signature (again);
2017-11-07, by wenzelm
clarified exclusion: operate on completed selection, as last step;
2017-11-07, by wenzelm
tuned;
2017-11-07, by wenzelm
tuned signature;
2017-11-07, by wenzelm
clarifified selection: always wrt. build_graph structure;
2017-11-07, by wenzelm
tuned;
2017-11-07, by wenzelm
tuned signature;
2017-11-07, by wenzelm
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
2017-11-07, by blanchet
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
2017-11-07, by blanchet
added FIXMEs
2017-11-07, by blanchet
Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
2017-11-07, by nipkow
backed out odd "bug fix" 671decd2e627;
2017-11-07, by wenzelm
more recent polyml-test version;
2017-11-07, by wenzelm
minimal document model for theory files;
2017-11-06, by wenzelm
tuned signature;
2017-11-06, by wenzelm
tuned signature;
2017-11-06, by wenzelm
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
2017-11-05, by wenzelm
uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
2017-11-05, by wenzelm
updated comments;
2017-11-05, by wenzelm
updated to scala-2.12.4;
2017-11-05, by wenzelm
testing NewTestRegisterSave;
2017-11-05, by wenzelm
superseded by plain_identify;
2017-11-04, by wenzelm

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

isabelle