2014-05-12 wenzelm 2014-05-12 NEWS;
2014-05-12 wenzelm 2014-05-12 tuned message;
2014-05-12 wenzelm 2014-05-12 smarter recovery from toplevel type error;
2014-05-11 wenzelm 2014-05-11 more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion; prefer JDialog for FloatingWindowContainer, to keep it in front of the main window; updated to Navigator.jar 2.5, SideKick.jar 1.6;
2014-05-09 wenzelm 2014-05-09 updated keywords;
2014-05-09 wenzelm 2014-05-09 merged
2014-05-09 wenzelm 2014-05-09 more markup;
2014-05-09 wenzelm 2014-05-09 more position markup to help locating the query context, e.g. from "Info" dockable;
2014-05-09 wenzelm 2014-05-09 always bounce focus back to main text area, unless explicit focus component is given here (see also 7b65f4da136d);
2014-05-09 wenzelm 2014-05-09 tuned signature;
2014-05-09 haftmann 2014-05-09 delete attribute for code abbrev
2014-05-09 haftmann 2014-05-09 dropped term_of obfuscation -- not really required; tuned theory structure
2014-05-09 haftmann 2014-05-09 hardcoded nbe and sml into value command
2014-05-09 haftmann 2014-05-09 modernized setups
2014-05-09 haftmann 2014-05-09 degeneralized value command into HOL
2014-05-09 haftmann 2014-05-09 dimiss simplified as evaluator due to little practical relevance
2014-05-09 haftmann 2014-05-09 prefer separate command for approximation
2014-05-09 haftmann 2014-05-09 removed junk from library theory
2014-05-09 haftmann 2014-05-09 note of_class rule for type classes in theory: useful to promote class instance proofs to locale interpretation proofs
2014-05-09 haftmann 2014-05-09 normalizing of type variables before evaluation with explicit resubstitution function: make nbe work with funny type variables like \<AA>; tuned naming; dropped dead parameters;
2014-05-08 wenzelm 2014-05-08 tuned GUI;
2014-05-08 wenzelm 2014-05-08 clarified detach_operation: ignore empty output;
2014-05-08 wenzelm 2014-05-08 bounce focus back to main text area -- Output is for output, not query input;
2014-05-08 wenzelm 2014-05-08 update for release;
2014-05-08 wenzelm 2014-05-08 merged
2014-05-08 wenzelm 2014-05-08 tuned message;
2014-05-08 wenzelm 2014-05-08 no qualifier for now, to avoid confusion concerning loaded_theories in PIDE interaction;
2014-05-08 wenzelm 2014-05-08 some position markup to help locating the query context, e.g. from "Info" dockable;
2014-05-08 wenzelm 2014-05-08 tuned GUI;
2014-05-08 wenzelm 2014-05-08 tuned GUI;
2014-05-08 wenzelm 2014-05-08 tuned GUI;
2014-05-08 wenzelm 2014-05-08 tuned message: more compact, imitate actual command line;
2014-05-08 wenzelm 2014-05-08 enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
2014-05-08 wenzelm 2014-05-08 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
2014-05-08 wenzelm 2014-05-08 untyped, unscoped, unchecked access to JVM objects;
2014-05-08 desharna 2014-05-08 Documented new property
2014-05-08 desharna 2014-05-08 generate 'map_ident' theorem for BNFs
2014-05-07 wenzelm 2014-05-07 explicit option to build library, which takes most of the time; produce minimal index, e.g. for test web page;
2014-05-07 wenzelm 2014-05-07 NEWS;
2014-05-07 wenzelm 2014-05-07 merged
2014-05-07 wenzelm 2014-05-07 more symbols; tuned proofs;
2014-05-07 wenzelm 2014-05-07 tuned message: "step" goes back to TTY mode before Proof General, while "depth" is more informative but sometimes confusing due to implementation details;
2014-05-07 wenzelm 2014-05-07 print results as "state", to avoid intrusion into the source text; print new local theory (again);
2014-05-07 wenzelm 2014-05-07 run commands as interactive, again after long history of fluctuation (9e196062bf88, 173974e07dea, e07dacec79e7) and quite different infrastructure for print tasks;
2014-05-07 wenzelm 2014-05-07 discontinued Toplevel.print flag -- print uniformly according to Keyword.is_printed;
2014-05-07 wenzelm 2014-05-07 more emphatic output for Proof General;
2014-05-07 wenzelm 2014-05-07 tuned;
2014-05-07 wenzelm 2014-05-07 tuned defaults;
2014-05-07 wenzelm 2014-05-07 tuned message -- more context for detached window etc.;
2014-05-07 wenzelm 2014-05-07 tuned signature;
2014-05-07 hoelzl 2014-05-07 avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.
2014-05-06 wenzelm 2014-05-06 tuned GUI for Windows L&F;
2014-05-06 wenzelm 2014-05-06 clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;
2014-05-06 wenzelm 2014-05-06 tuned GUI layout;
2014-05-06 wenzelm 2014-05-06 clarified GUI events, e.g. relevant for insert via completion;
2014-05-06 wenzelm 2014-05-06 more robust line_range, according to usual jEdit confusion at end of last line (see also 71c5d1f516c0);
2014-05-06 wenzelm 2014-05-06 common support for search field, which is actually a light-weight Highlighter;
2014-05-06 wenzelm 2014-05-06 clarified GUI focus;
2014-05-06 wenzelm 2014-05-06 more uniform detach button;
2014-05-06 wenzelm 2014-05-06 tuned signature;