2014-04-29 wenzelm 2014-04-29 updated mkroot;
2014-04-29 wenzelm 2014-04-29 basic support for Mercurial command line tools;
2014-04-29 wenzelm 2014-04-29 clarified;
2014-04-29 wenzelm 2014-04-29 ignore malformed file names outright, e.g. .class files with dollar;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-29 wenzelm 2014-04-29 systematic replacement of 'files' by 'document_files';
2014-04-29 wenzelm 2014-04-29 tuned signature -- accomodate operations of ROOT files;
2014-04-29 wenzelm 2014-04-29 tuned -- prefer Isabelle/Scala operations;
2014-04-28 wenzelm 2014-04-28 tuned proofs;
2014-04-28 wenzelm 2014-04-28 tuned;
2014-04-28 wenzelm 2014-04-28 tuned proofs;
2014-04-28 wenzelm 2014-04-28 improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;
2014-04-28 wenzelm 2014-04-28 tuned -- fewer aliases of critical operations;
2014-04-28 wenzelm 2014-04-28 removed dead code; tuned comments;
2014-04-28 wenzelm 2014-04-28 tuned comments;
2014-04-28 wenzelm 2014-04-28 more systematic delay_first discipline for change_buffer and prune_history;
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-28 wenzelm 2014-04-28 tuned;
2014-04-28 wenzelm 2014-04-28 added Scala version of module Event_Timer;
2014-04-28 blanchet 2014-04-28 restored naming trick
2014-04-28 blanchet 2014-04-28 more reliable 'name_of_bnf'
2014-04-28 blanchet 2014-04-28 cleaner 'rel_inject' theorems
2014-04-27 wenzelm 2014-04-27 modernized Isabelle classpath for graphview;
2014-04-27 wenzelm 2014-04-27 tuned;
2014-04-26 wenzelm 2014-04-26 merged
2014-04-26 wenzelm 2014-04-26 NEWS;
2014-04-26 wenzelm 2014-04-26 tuned message;
2014-04-26 wenzelm 2014-04-26 proper handling of shared zoom component: update layout dynamically;
2014-04-26 wenzelm 2014-04-26 PIDE support for find_consts;
2014-04-26 wenzelm 2014-04-26 some rearrangements to support multiple find operations;
2014-04-26 wenzelm 2014-04-26 tuned;
2014-04-26 wenzelm 2014-04-26 clarified GUI focus;
2014-04-26 wenzelm 2014-04-26 actually observe search limit;
2014-04-26 wenzelm 2014-04-26 misc tuning;
2014-04-26 wenzelm 2014-04-26 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 2014-04-26 tuned GUI events;
2014-04-26 wenzelm 2014-04-26 tuned;
2014-04-26 wenzelm 2014-04-26 tuned spelling;
2014-04-26 wenzelm 2014-04-26 clarified PIDE modules;
2014-04-26 wenzelm 2014-04-26 clarified;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-26 wenzelm 2014-04-26 tuned imports;
2014-04-26 wenzelm 2014-04-26 tuned headers;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-26 haftmann 2014-04-26 more complete classical rules for Inf and Sup, modelled after theiry counterparts on Inter and Union (and INF and SUP)
2014-04-26 haftmann 2014-04-26 subsumed by existing default simp rules for functions and booleans
2014-04-26 haftmann 2014-04-26 tuned
2014-04-26 haftmann 2014-04-26 avoid non-standard simp default rule
2014-04-26 kleing 2014-04-26 retired wwwfind
2014-04-26 blanchet 2014-04-26 use right set of variables for recursive check
2014-04-26 wenzelm 2014-04-26 merged
2014-04-26 wenzelm 2014-04-26 tuned -- potentially more robust;
2014-04-25 wenzelm 2014-04-25 suppress potential dangerous option (see 1baa5d19ac44);
2014-04-25 wenzelm 2014-04-25 manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
2014-04-25 wenzelm 2014-04-25 modernized theory setup;
2014-04-25 wenzelm 2014-04-25 just one default thread pool (which is hardwired to Runtime.availableProcessors);
2014-04-25 wenzelm 2014-04-25 tuned signature -- separate pool for JFuture tasks, which can be canceled;
2014-04-25 wenzelm 2014-04-25 prefer Isabelle/Scala operations;
2014-04-25 wenzelm 2014-04-25 unused;
2014-04-25 blanchet 2014-04-25 use Z3 4.3.2 to fix most FIXMEs