Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
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
2014-08-04 wenzelm Added tag Isabelle2014-RC2 for changeset ee908fccabc2 changeset | files
2014-08-04 wenzelm more user aliases; changeset | files
2014-08-04 noschinl registered Haskabelle-2014 changeset | files
2014-08-01 Lars Noschinski tuned, so codegen runs with current isabelle again changeset | files
2014-08-03 wenzelm tuned whitespace; changeset | files
2014-08-03 wenzelm more robust popup geometry vs. formatted margin; changeset | files
2014-08-03 wenzelm tuned message; changeset | files
2014-08-02 wenzelm updated URL; changeset | files
2014-08-02 wenzelm tuned; changeset | files
2014-08-02 wenzelm updated URL; changeset | files
2014-08-02 wenzelm more emphatic warning via error_message (violating historic TTY protocol); changeset | files
2014-08-02 wenzelm proper priority for error over warning also for node_status (see 9c5220e05e04); changeset | files
2014-08-02 wenzelm more direct access to persistent blobs (see also 8953d4cc060a), avoiding fragile digest lookup from later version (which might have removed unused blobs already); changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
isabelle