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

separate delay_repaint to ensure reactivity, indepently of future_refresh status;
2016-02-04, by wenzelm
suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;
2016-02-04, by wenzelm
clarified;
2016-02-04, by wenzelm
recovered handle_resize from 5922db0430f1;
2016-02-04, by wenzelm
preplaying of 'smt' and 'metis' more in sync with actual method
2016-02-01, by blanchet
updated HOL-specific section w.r.t. datatypes
2016-02-01, by blanchet
proper markup for formal text;
2016-02-02, by wenzelm
Added tag Isabelle2016-RC3 for changeset 81cbea2babd9
2016-02-01, by wenzelm
tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
2016-02-01, by wenzelm
more on "ML debugging within the Prover IDE";
2016-01-31, by wenzelm
updated to official polyml-5.6;
2016-01-31, by wenzelm
misc tuning and updates;
2016-01-29, by wenzelm
misc tuning and updates;
2016-01-29, by wenzelm
misc tuning;
2016-01-29, by wenzelm
allow single quote within URL;
2016-01-27, by wenzelm
proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e);
2016-01-27, by wenzelm
more thorough syntax_changed: new commands need require new folds;
2016-01-25, by wenzelm
Added tag Isabelle2016-RC2 for changeset 5d513565749e
2016-01-24, by wenzelm
proper nesting: 'qed' needs to close the corresponding 'proof' and goal statement;
2016-01-24, by wenzelm
clarified exception handling;
2016-01-24, by wenzelm
guard sessions that no longer work with SML/NJ -- memory problems;
2016-01-24, by wenzelm
tuned signature;
2016-01-24, by wenzelm
tuned;
2016-01-24, by wenzelm
tuned;
2016-01-24, by wenzelm
tuned;
2016-01-24, by wenzelm
proper NEWS for this release;
2016-01-24, by wenzelm
more CONTRIBUTORS;
2016-01-24, by wenzelm
tuned;
2016-01-24, by wenzelm
discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments;
2016-01-24, by wenzelm
back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems;
2016-01-23, by wenzelm
empty abbrevs are removed globally;
2016-01-23, by wenzelm
tuned markup, e.g. relevant for Rendering.tooltip;
2016-01-22, by wenzelm
tuned message;
2016-01-21, by wenzelm
more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized;
2016-01-21, by wenzelm
report error on internal channel as well: startup_failure dialog may be too late;
2016-01-21, by wenzelm
clarified errors: more explicit treatment of uninitialized state;
2016-01-21, by wenzelm
check more files;
2016-01-20, by wenzelm
updated header;
2016-01-20, by wenzelm
tuned text
2016-02-10, by nipkow
tuned
2016-02-09, by nipkow
synchronized with book
2016-02-09, by nipkow
tuned
2016-02-09, by nipkow
avoid error in Isar proof reconstruction if no ATP proof is available
2016-02-01, by blanchet
preplaying of 'smt' and 'metis' more in sync with actual method
2016-02-01, by blanchet
avoid generating polymorphic SPASS constructs to monomorphic SPASS
2016-02-01, by blanchet
Reorganised a huge proof
2016-01-22, by paulson
back to post-release mode -- after fork point;
2016-01-20, by wenzelm
merged
2016-01-20, by wenzelm
bypass input method for better imitation of read-only mode (cf. f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X;
2016-01-20, by wenzelm
tuned;
2016-01-20, by wenzelm
clarified -- this is available on Mac OS X, too;
2016-01-20, by wenzelm
updated jdk;
2016-01-20, by wenzelm
tuned signature (according to Scala version);
2016-01-20, by wenzelm
fixed NEWS w.r.t. multisets
2016-01-20, by blanchet
added 'supset' variants for new '<#' etc. symbols on multisets
2016-01-20, by blanchet
added lemma
2016-01-20, by immler
tuned;
2016-01-20, by wenzelm
tuned;
2016-01-19, by wenzelm
tuned
2016-01-19, by nipkow
merged
2016-01-19, by nipkow

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

isabelle