2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature; uniform view.fontsize fallback;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-25 wenzelm 2012-11-25 tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-11-25 wenzelm 2012-11-25 tuned file name;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-25 wenzelm 2012-11-25 prefer strict error;
2012-11-25 wenzelm 2012-11-25 quasi-abstract module Rendering, with Isabelle-specific implementation;
2012-11-25 wenzelm 2012-11-25 added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
2012-11-25 wenzelm 2012-11-25 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
2012-11-24 wenzelm 2012-11-24 retain hidden_color (i.e. transparent white) instead of replacing it by semantic text color, to make control symbols more hidden and avoid "dirty" lines with some fonts;
2012-11-24 wenzelm 2012-11-24 prefer buffer_edit combinator over Java-style boilerplate;
2012-11-24 wenzelm 2012-11-24 more robust font for control symbols, to ensure these obscure codepoints are properly rendered;
2012-11-24 wenzelm 2012-11-24 tuned symbol groups;
2012-11-24 wenzelm 2012-11-24 tuned -- Symbol.groups already sorted;
2012-11-24 wenzelm 2012-11-24 more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;
2012-11-24 wenzelm 2012-11-24 added option jedit_symbols_search_limit;
2012-11-24 wenzelm 2012-11-24 avoid empty tooltip;
2012-11-24 wenzelm 2012-11-24 tuned symbol groups;
2012-11-24 wenzelm 2012-11-24 special handling of control symbols in Symbols dockable; less obscure Scala names;
2012-11-24 wenzelm 2012-11-24 recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
2012-11-24 wenzelm 2012-11-24 avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
2012-11-24 wenzelm 2012-11-24 more NEWS/CONTRIBUTORS;
2012-11-24 wenzelm 2012-11-24 improved editing support for control styles; separate module for Isabelle actions;
2012-11-24 wenzelm 2012-11-24 added ISABELLE_PLATFORM_FAMILY;
2012-11-23 nipkow 2012-11-23 merged
2012-11-23 nipkow 2012-11-23 moved lemma
2012-11-23 wenzelm 2012-11-23 timeout in proper place (HOL-Quickcheck_Examples approx. 1min, HOL-Quickcheck_Benchmark approx. 1h);
2012-11-23 hoelzl 2012-11-23 add quotient_of_div
2012-11-23 kuncar 2012-11-23 generate correct names
2012-11-23 kuncar 2012-11-23 simplified code
2012-11-23 kuncar 2012-11-23 generate correct correspondence relation name
2012-11-23 wenzelm 2012-11-23 more uniform title, follow-up to 928cb8b35e6e;
2012-11-23 nipkow 2012-11-23 tuned
2012-11-22 wenzelm 2012-11-22 defer interpretation of markup via implicit print mode;
2012-11-22 wenzelm 2012-11-22 merged
2012-11-22 traytel 2012-11-22 made SML/NJ happier
2012-11-22 wenzelm 2012-11-22 pack window before accessing its geometry;
2012-11-22 wenzelm 2012-11-22 always refresh font metrics, to help window size calculation (amending 2585c81d840a);
2012-11-22 wenzelm 2012-11-22 more precise tooltip window size;
2012-11-22 wenzelm 2012-11-22 take component width as indication if it is already visible/layed-out, to avoid multiple formatting with minimal margin;
2012-11-22 wenzelm 2012-11-22 reset active area for outdated snapshot (again?);
2012-11-22 wenzelm 2012-11-22 some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
2012-11-22 wenzelm 2012-11-22 more abstract Sendback operations, with explicit id/exec_id properties; purge result messages (again), cf. db58490a68ac, 7b61a539721e;
2012-11-22 wenzelm 2012-11-22 some support for breakable text and paragraphs; tuned Symbol.scanner, which operates on symbols, not characters;
2012-11-22 nipkow 2012-11-22 tuned names
2012-11-21 wenzelm 2012-11-21 tuned comment;
2012-11-21 wenzelm 2012-11-21 clarified symbol groups, despite this traditional arrangement in X-symbol grid;
2012-11-21 wenzelm 2012-11-21 always retain message positions, in order to allow Isabelle_Rendering.sendback retrieve the exec_id, even in tooltip or detached window;
2012-11-21 wenzelm 2012-11-21 tuned whitespace;
2012-11-21 immler 2012-11-21 merged
2012-11-21 immler 2012-11-21 included abbrev in tooltip
2012-11-21 immler 2012-11-21 removed (unicode) tooltips: can not adjust font in basic swing tooltip
2012-11-21 immler 2012-11-21 delayed search to improve reactivity
2012-11-21 immler 2012-11-21 respect font property for symbols
2012-11-21 immler 2012-11-21 capitalize lowercase groups; tuned with mkString
2012-11-21 wenzelm 2012-11-21 merged
2012-11-21 wenzelm 2012-11-21 more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML; more generous timeout for HOL-Quickcheck_Examples, which is rather slow in checking its examples (and mostly sequential);