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
2014-04-25 blanchet 2014-04-25 added Z3 4.3.2 (unstable) component
2014-04-25 blanchet 2014-04-25 updated Z3 version number
2014-04-25 blanchet 2014-04-25 use Z3 4.3.2 syntax
2014-04-25 haftmann 2014-04-25 subscription as target-specific implementation device
2014-04-25 wenzelm 2014-04-25 make SML/NJ happier;
2014-04-25 wenzelm 2014-04-25 merged
2014-04-25 wenzelm 2014-04-25 updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML; removed obsolete properties for old actors;
2014-04-25 wenzelm 2014-04-25 simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;
2014-04-25 wenzelm 2014-04-25 replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
2014-04-25 wenzelm 2014-04-25 tuned whitespace;
2014-04-25 wenzelm 2014-04-25 obsolete;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-25 wenzelm 2014-04-25 tuned comments;
2014-04-25 wenzelm 2014-04-25 more robust prover termination;
2014-04-25 wenzelm 2014-04-25 more explicit checks;
2014-04-24 wenzelm 2014-04-24 tuned signature;
2014-04-24 wenzelm 2014-04-24 more uniform warning/error handling, potentially with propagation to send_wait caller;
2014-04-24 wenzelm 2014-04-24 more careful shutdown (amending f2f53f7046f4);
2014-04-24 wenzelm 2014-04-24 misc tuning;
2014-04-24 wenzelm 2014-04-24 obsolete;
2014-04-24 wenzelm 2014-04-24 converted main session manager to Consumer_Thread: messages need to be consumed immediately, postponed_changes replaces implicit actor mailbox scanning;
2014-04-24 wenzelm 2014-04-24 simplified commands_changed_buffer (in contrast to a8331fb5c959): rely on better performance of Consumer_Thread/Mailbox and more direct Timer (like session_actor.receiver);
2014-04-24 wenzelm 2014-04-24 simplified -- prefer Consumer_Thread over Actor;
2014-04-24 wenzelm 2014-04-24 tuned imports;
2014-04-24 wenzelm 2014-04-24 support for requests with explicit acknowledgment (and exception propagation);