10 months ago nipkow 2017-11-14 tuned
10 months ago wenzelm 2017-11-14 removed pointless user_home: no measurable impact;
10 months ago wenzelm 2017-11-13 init Mercurial repository for the generated session files;
10 months ago wenzelm 2017-11-13 more operations;
10 months ago wenzelm 2017-11-13 tuned signature;
10 months ago wenzelm 2017-11-13 proper ssh.bash_path;
10 months ago wenzelm 2017-11-13 more operations;
10 months ago wenzelm 2017-11-12 synchronous use_theories, based on consolidated_state;
10 months ago wenzelm 2017-11-12 clarified modules;
10 months ago wenzelm 2017-11-12 optional session_base, e.g. from existing Sessions.Deps in build.scala;
10 months ago wenzelm 2017-11-12 synchronous session start (similar to isabelle.vscode.Server);
10 months ago wenzelm 2017-11-12 tuned signature (again, see 1a9e2a2bf251);
10 months ago wenzelm 2017-11-12 tuned signature;
10 months ago wenzelm 2017-11-12 simplified: eliminated pointless Thy_Document_Model;
10 months ago wenzelm 2017-11-12 theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
10 months ago wenzelm 2017-11-12 load theories via PIDE document update; theory nodes are always required;
10 months ago wenzelm 2017-11-12 tuned signature;
10 months ago wenzelm 2017-11-12 PIDE resources for theory files;
10 months ago wenzelm 2017-11-12 tuned;
10 months ago wenzelm 2017-11-12 tuned signature;
10 months ago haftmann 2017-11-11 dedicated definition for coprimality
10 months ago haftmann 2017-11-11 more induct rules on nat
10 months ago wenzelm 2017-11-11 avoid download of components;
10 months ago wenzelm 2017-11-11 local user_home for improved performance, but only after given changeset for stability of measurement history;
10 months ago wenzelm 2017-11-11 support alternative USER_HOME directory;
10 months ago wenzelm 2017-11-11 clarified settings environment;
10 months ago wenzelm 2017-11-11 tuned signature;
10 months ago wenzelm 2017-11-11 tuned;
10 months ago wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
10 months ago wenzelm 2017-11-11 adapted to changed ROOT syntax (see 13857f49d215); discontinued pointless option -d: always enabled;
10 months ago wenzelm 2017-11-11 converted to Isabelle/Scala;
10 months ago nipkow 2017-11-10 replaced raw proof blocks by local lemmas
10 months ago nipkow 2017-11-09 Replaced Raw Proof Blocks by Local Lemmas
10 months ago nipkow 2017-11-09 tuned
10 months ago nipkow 2017-11-08 merged
10 months ago nipkow 2017-11-08 corrected priority
10 months ago wenzelm 2017-11-08 merged
10 months ago wenzelm 2017-11-08 formal dependency on "poly" executable;
10 months ago wenzelm 2017-11-08 removed obsolete workaround: always use existing IntInf.pow;
10 months ago Lars Hupel 2017-11-08 strip some trailing spaces to force Pure rebuild after ce6454669360
10 months ago wenzelm 2017-11-07 merged
10 months ago wenzelm 2017-11-07 proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
10 months ago wenzelm 2017-11-07 clarified signature (again);
10 months ago wenzelm 2017-11-07 clarified exclusion: operate on completed selection, as last step;
10 months ago wenzelm 2017-11-07 tuned;
10 months ago wenzelm 2017-11-07 tuned signature;
10 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
10 months ago wenzelm 2017-11-07 tuned;
10 months ago wenzelm 2017-11-07 tuned signature;
10 months ago blanchet 2017-11-07 more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
10 months ago blanchet 2017-11-07 integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
10 months ago blanchet 2017-11-07 added FIXMEs
10 months ago nipkow 2017-11-07 Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
10 months ago wenzelm 2017-11-07 backed out odd "bug fix" 671decd2e627;
10 months ago wenzelm 2017-11-07 more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
10 months ago wenzelm 2017-11-06 minimal document model for theory files;
10 months ago wenzelm 2017-11-06 tuned signature;
10 months ago wenzelm 2017-11-06 tuned signature;
10 months ago wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
10 months ago wenzelm 2017-11-05 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");