2014-04-29 wenzelm tuned whitespace;
2014-04-29 wenzelm proper Unix line termination;
2014-04-29 wenzelm require explicit 'document_files';
2014-04-29 wenzelm updated mkroot;
2014-04-29 wenzelm basic support for Mercurial command line tools;
2014-04-29 wenzelm clarified;
2014-04-29 wenzelm ignore malformed file names outright, e.g. .class files with dollar;
2014-04-29 wenzelm more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-29 wenzelm systematic replacement of 'files' by 'document_files';
2014-04-29 wenzelm tuned signature -- accomodate operations of ROOT files;
2014-04-29 wenzelm tuned -- prefer Isabelle/Scala operations;
2014-04-28 wenzelm tuned proofs;
2014-04-28 wenzelm tuned;
2014-04-28 wenzelm tuned proofs;
2014-04-28 wenzelm improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;
2014-04-28 wenzelm tuned -- fewer aliases of critical operations;
2014-04-28 wenzelm removed dead code;
2014-04-28 wenzelm tuned comments;
2014-04-28 wenzelm more systematic delay_first discipline for change_buffer and prune_history;
2014-04-28 wenzelm mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-28 wenzelm tuned;
2014-04-28 wenzelm added Scala version of module Event_Timer;
2014-04-27 blanchet restored naming trick
2014-04-27 blanchet more reliable 'name_of_bnf'
2014-04-27 blanchet cleaner 'rel_inject' theorems
2014-04-27 wenzelm modernized Isabelle classpath for graphview;
2014-04-27 wenzelm tuned;
2014-04-26 wenzelm merged
2014-04-26 wenzelm NEWS;
2014-04-26 wenzelm tuned message;
2014-04-26 wenzelm proper handling of shared zoom component: update layout dynamically;
2014-04-26 wenzelm PIDE support for find_consts;
2014-04-26 wenzelm some rearrangements to support multiple find operations;
2014-04-26 wenzelm tuned;
2014-04-26 wenzelm clarified GUI focus;
2014-04-26 wenzelm actually observe search limit;
2014-04-26 wenzelm misc tuning;
2014-04-26 wenzelm uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice;
2014-04-26 wenzelm tuned GUI events;
2014-04-26 wenzelm tuned;
2014-04-26 wenzelm tuned spelling;
2014-04-26 wenzelm clarified PIDE modules;
2014-04-26 wenzelm clarified;
2014-04-26 wenzelm tuned signature;
2014-04-26 wenzelm tuned imports;
2014-04-26 wenzelm tuned headers;
2014-04-26 wenzelm tuned signature;
2014-04-26 haftmann more complete classical rules for Inf and Sup, modelled after theiry counterparts on Inter and Union (and INF and SUP)
(0) -30000 -10000 -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 +10000 tip