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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

misc tuning and updates;
2016-02-10, by wenzelm
misc tuning and updates;
2016-02-10, by wenzelm
misc tuning;
2016-02-10, by wenzelm
tuned whitespace;
2016-02-10, by wenzelm
more on "Markdown-like text structure";
2016-02-07, by wenzelm
more on 'consider';
2016-02-07, by wenzelm
tuned;
2016-02-07, by wenzelm
more explicit dummy proofs;
2016-02-07, by wenzelm
misc tuning and updates;
2016-02-07, by wenzelm
tuned;
2016-02-07, by wenzelm
clarified old forms;
2016-02-07, by wenzelm
Added tag Isabelle2016-RC4 for changeset f4baefee5776
2016-02-06, by wenzelm
tuned proofs;
2016-02-06, by wenzelm
more on Mac OS X with Retina display;
2016-02-05, by wenzelm
re-init document views for the sake of Text_Overview size;
2016-02-04, by wenzelm
removed unused cancel operation;
2016-02-04, by wenzelm
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

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

isabelle