Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2014-08-08 wenzelm observe context visibility -- less redundant warnings; changeset | files
2014-08-08 wenzelm improved monitor panel; changeset | files
2014-08-05 wenzelm protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data"); changeset | files
2014-08-05 wenzelm added system option editor_output_delay: lower value might help big sessions under low-memory situations; changeset | files
2014-08-05 wenzelm obsolete (see f7700146678d); changeset | files
2014-08-05 wenzelm tuned proofs -- fewer warnings; changeset | files
2014-08-05 wenzelm clarified Element.init vs. Element.init' -- the latter also avoids redundant warnings due to declatations when preparing locale expressions / interpretations; changeset | files
2014-08-05 wenzelm avoid duplication of warnings stemming from simp/intro declarations etc.; changeset | files
2014-08-05 wenzelm tuned proofs; changeset | files
2014-08-05 wenzelm restrict edit_command (for sendback) to current node -- no attempt to goto target buffer first, which might not be loaded; changeset | files
2014-08-05 wenzelm tuned; changeset | files
2014-08-05 wenzelm more careful treatment of context visibility for rule declarations (see also 39d9c7f175e0, e639d91d9073) -- avoid duplicate warnings; changeset | files
2014-08-05 wenzelm refined context visibility again (amending f5f9fad3321c, 8e3e004f1c31): avoid spurious warning due to global config options; changeset | files
2014-08-04 wenzelm even more thorough reset on mouse drag (see also 0c63f3538639, 7e8c11011fdf); changeset | files
2014-08-04 wenzelm tuned; changeset | files
2014-08-04 wenzelm tuned; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
isabelle