2015-09-22 nipkow 2015-09-22 tuned references
2015-09-22 nipkow 2015-09-22 added red black trees
2015-09-21 wenzelm 2015-09-21 clarified markup; tuned signature;
2015-09-21 wenzelm 2015-09-21 isabelle update_cartouches;
2015-09-21 wenzelm 2015-09-21 merged
2015-09-21 wenzelm 2015-09-21 tuned GUI;
2015-09-21 wenzelm 2015-09-21 removed auto update -- bad reactivity;
2015-09-21 wenzelm 2015-09-21 clarified isabelle.update-state;
2015-09-21 wenzelm 2015-09-21 more reactive update, like Output panel;
2015-09-21 wenzelm 2015-09-21 added isabelle update_then;
2015-09-21 wenzelm 2015-09-21 NEWS;
2015-09-21 wenzelm 2015-09-21 tuned priority (like other query operations, e.g. "find_theorems");
2015-09-21 wenzelm 2015-09-21 option editor_output_state;
2015-09-21 wenzelm 2015-09-21 obsolete, superseded by State panel;
2015-09-21 wenzelm 2015-09-21 added action "isabelle-update-state"; tuned signature;
2015-09-21 wenzelm 2015-09-21 support for auto update via caret focus;
2015-09-21 wenzelm 2015-09-21 tuned signature;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-09-21 wenzelm 2015-09-21 tuned;
2015-09-21 wenzelm 2015-09-21 more specific name to reduce danger of clash with direct uses of plain Command.print_function;
2015-09-21 wenzelm 2015-09-21 tuned;
2015-09-21 paulson 2015-09-21 new lemmas and movement of lemmas into place
2015-09-21 nipkow 2015-09-21 New subdirectory for functional data structures
2015-09-21 nipkow 2015-09-21 Added new simplifier predicate ASSUMPTION
2015-09-19 wenzelm 2015-09-19 eliminated suspicious unicode;
2015-09-19 wenzelm 2015-09-19 eliminated hard tabs;
2015-09-19 wenzelm 2015-09-19 obsolete;
2015-09-19 wenzelm 2015-09-19 NEWS;
2015-09-19 wenzelm 2015-09-19 straight-forward refresh, without special preconditions; eliminated somewhat expensive eq_content;
2015-09-19 wenzelm 2015-09-19 eliminated pointless jedit_text_overview_limit;
2015-09-19 wenzelm 2015-09-19 fast synchronous painting and asynchronous refresh of text overview, reduces GUI thread latency from 100ms to 1ms for big files like src/HOL/Multivariate_Analsyis/Integration.thy;
2015-09-19 wenzelm 2015-09-19 allow to cancel running event; synchronized postpone operation;
2015-09-19 wenzelm 2015-09-19 tuned;
2015-09-19 wenzelm 2015-09-19 tuned signature;
2015-09-18 paulson 2015-09-18 Merge
2015-09-18 paulson 2015-09-18 Massive revisions, as a valid path must now be continously differentiable (C!)
2015-09-17 wenzelm 2015-09-17 isabelle update_cartouches; tuned proofs; tuned whitespace;
2015-09-17 wenzelm 2015-09-17 isabelle update_cartouches;
2015-09-16 wenzelm 2015-09-16 recode all text, which is relevant for Session.save on non-ASCII directory;
2015-09-16 wenzelm 2015-09-16 tuned;
2015-09-16 wenzelm 2015-09-16 more recent JavaAppLauncher, which supports file associations;
2015-09-16 wenzelm 2015-09-16 more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
2015-09-16 wenzelm 2015-09-16 more app properties glimpsed from infinitekind/Moneydance 2015.5;
2015-09-16 wenzelm 2015-09-16 tuned whitespace;
2015-09-16 wenzelm 2015-09-16 updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
2015-09-15 Andreas Lochbihler 2015-09-15 avoid module dependency cycles
2015-09-15 nipkow 2015-09-15 goali -> i
2015-09-15 lammich 2015-09-15 Omega_Words_Fun: Infinite words as functions from nat.
2015-09-14 wenzelm 2015-09-14 provide FontMapper for embedded fonts;
2015-09-14 wenzelm 2015-09-14 avoid hardwired colors; more explicit switch of editor style vs. default style, which is more appropriate for printing (via PDF);
2015-09-14 wenzelm 2015-09-14 avoid hardwired colors;
2015-09-14 wenzelm 2015-09-14 replacement character for spaces;
2015-09-14 wenzelm 2015-09-14 single-instance application, even on Linux;
2015-09-14 wenzelm 2015-09-14 single-instance application for Linux;
2015-09-14 wenzelm 2015-09-14 tuned message;
2015-09-14 wenzelm 2015-09-14 added isabelle jedit_client;
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-09-13 wenzelm 2015-09-13 tuned message;
2015-09-13 wenzelm 2015-09-13 tuned proofs;
2015-09-13 wenzelm 2015-09-13 renamed method "goals" to "goal_cases" to emphasize its meaning;