Sun, 25 Nov 2012 19:55:42 +0100 tuned file name;
wenzelm [Sun, 25 Nov 2012 19:55:42 +0100] rev 50202
tuned file name;
Sun, 25 Nov 2012 19:49:24 +0100 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
wenzelm [Sun, 25 Nov 2012 19:49:24 +0100] rev 50201
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Sun, 25 Nov 2012 18:50:13 +0100 prefer strict error;
wenzelm [Sun, 25 Nov 2012 18:50:13 +0100] rev 50200
prefer strict error;
Sun, 25 Nov 2012 18:47:33 +0100 quasi-abstract module Rendering, with Isabelle-specific implementation;
wenzelm [Sun, 25 Nov 2012 18:47:33 +0100] rev 50199
quasi-abstract module Rendering, with Isabelle-specific implementation;
Sun, 25 Nov 2012 17:15:21 +0100 added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm [Sun, 25 Nov 2012 17:15:21 +0100] rev 50198
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
Sun, 25 Nov 2012 15:17:01 +0100 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm [Sun, 25 Nov 2012 15:17:01 +0100] rev 50197
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
Sat, 24 Nov 2012 19:56:44 +0100 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;
wenzelm [Sat, 24 Nov 2012 19:56:44 +0100] rev 50196
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;
Sat, 24 Nov 2012 19:01:08 +0100 prefer buffer_edit combinator over Java-style boilerplate;
wenzelm [Sat, 24 Nov 2012 19:01:08 +0100] rev 50195
prefer buffer_edit combinator over Java-style boilerplate;
Sat, 24 Nov 2012 18:34:47 +0100 more robust font for control symbols, to ensure these obscure codepoints are properly rendered;
wenzelm [Sat, 24 Nov 2012 18:34:47 +0100] rev 50194
more robust font for control symbols, to ensure these obscure codepoints are properly rendered;
Sat, 24 Nov 2012 18:32:05 +0100 tuned symbol groups;
wenzelm [Sat, 24 Nov 2012 18:32:05 +0100] rev 50193
tuned symbol groups;
Sat, 24 Nov 2012 18:29:19 +0100 tuned -- Symbol.groups already sorted;
wenzelm [Sat, 24 Nov 2012 18:29:19 +0100] rev 50192
tuned -- Symbol.groups already sorted;
Sat, 24 Nov 2012 17:46:54 +0100 more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;
wenzelm [Sat, 24 Nov 2012 17:46:54 +0100] rev 50191
more robust default font -- user might have switched jEdit TextArea to another font that lacks glyphs;
Sat, 24 Nov 2012 17:12:06 +0100 added option jedit_symbols_search_limit;
wenzelm [Sat, 24 Nov 2012 17:12:06 +0100] rev 50190
added option jedit_symbols_search_limit;
Sat, 24 Nov 2012 17:05:10 +0100 avoid empty tooltip;
wenzelm [Sat, 24 Nov 2012 17:05:10 +0100] rev 50189
avoid empty tooltip;
Sat, 24 Nov 2012 16:59:07 +0100 tuned symbol groups;
wenzelm [Sat, 24 Nov 2012 16:59:07 +0100] rev 50188
tuned symbol groups;
Sat, 24 Nov 2012 16:40:42 +0100 special handling of control symbols in Symbols dockable;
wenzelm [Sat, 24 Nov 2012 16:40:42 +0100] rev 50187
special handling of control symbols in Symbols dockable; less obscure Scala names;
Sat, 24 Nov 2012 16:24:39 +0100 recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
wenzelm [Sat, 24 Nov 2012 16:24:39 +0100] rev 50186
recovered some tooltip wrapping from e2762f962042, with multi-line support via HTML.encode;
Sat, 24 Nov 2012 16:13:21 +0100 avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
wenzelm [Sat, 24 Nov 2012 16:13:21 +0100] rev 50185
avoid showing semantic aspects of Unicode -- Isabelle/Scala merely (ab)uses the low-level rendering model (codepoint + font);
Sat, 24 Nov 2012 15:49:43 +0100 more NEWS/CONTRIBUTORS;
wenzelm [Sat, 24 Nov 2012 15:49:43 +0100] rev 50184
more NEWS/CONTRIBUTORS;
Sat, 24 Nov 2012 14:50:19 +0100 improved editing support for control styles;
wenzelm [Sat, 24 Nov 2012 14:50:19 +0100] rev 50183
improved editing support for control styles; separate module for Isabelle actions;
Sat, 24 Nov 2012 12:39:58 +0100 added ISABELLE_PLATFORM_FAMILY;
wenzelm [Sat, 24 Nov 2012 12:39:58 +0100] rev 50182
added ISABELLE_PLATFORM_FAMILY;
Fri, 23 Nov 2012 23:07:58 +0100 merged
nipkow [Fri, 23 Nov 2012 23:07:58 +0100] rev 50181
merged
Fri, 23 Nov 2012 23:07:38 +0100 moved lemma
nipkow [Fri, 23 Nov 2012 23:07:38 +0100] rev 50180
moved lemma
Fri, 23 Nov 2012 22:16:52 +0100 timeout in proper place (HOL-Quickcheck_Examples approx. 1min, HOL-Quickcheck_Benchmark approx. 1h);
wenzelm [Fri, 23 Nov 2012 22:16:52 +0100] rev 50179
timeout in proper place (HOL-Quickcheck_Examples approx. 1min, HOL-Quickcheck_Benchmark approx. 1h);
Fri, 23 Nov 2012 18:28:00 +0100 add quotient_of_div
hoelzl [Fri, 23 Nov 2012 18:28:00 +0100] rev 50178
add quotient_of_div
Fri, 23 Nov 2012 17:24:12 +0100 generate correct names
kuncar [Fri, 23 Nov 2012 17:24:12 +0100] rev 50177
generate correct names
Fri, 23 Nov 2012 15:53:24 +0100 simplified code
kuncar [Fri, 23 Nov 2012 15:53:24 +0100] rev 50176
simplified code
Fri, 23 Nov 2012 15:53:19 +0100 generate correct correspondence relation name
kuncar [Fri, 23 Nov 2012 15:53:19 +0100] rev 50175
generate correct correspondence relation name
Fri, 23 Nov 2012 15:08:44 +0100 more uniform title, follow-up to 928cb8b35e6e;
wenzelm [Fri, 23 Nov 2012 15:08:44 +0100] rev 50174
more uniform title, follow-up to 928cb8b35e6e;
Fri, 23 Nov 2012 13:46:01 +0100 tuned
nipkow [Fri, 23 Nov 2012 13:46:01 +0100] rev 50173
tuned
Thu, 22 Nov 2012 22:21:54 +0100 defer interpretation of markup via implicit print mode;
wenzelm [Thu, 22 Nov 2012 22:21:54 +0100] rev 50172
defer interpretation of markup via implicit print mode;
Thu, 22 Nov 2012 17:26:06 +0100 merged
wenzelm [Thu, 22 Nov 2012 17:26:06 +0100] rev 50171
merged
Thu, 22 Nov 2012 14:44:37 +0100 made SML/NJ happier
traytel [Thu, 22 Nov 2012 14:44:37 +0100] rev 50170
made SML/NJ happier
Thu, 22 Nov 2012 17:11:26 +0100 pack window before accessing its geometry;
wenzelm [Thu, 22 Nov 2012 17:11:26 +0100] rev 50169
pack window before accessing its geometry;
Thu, 22 Nov 2012 17:01:20 +0100 always refresh font metrics, to help window size calculation (amending 2585c81d840a);
wenzelm [Thu, 22 Nov 2012 17:01:20 +0100] rev 50168
always refresh font metrics, to help window size calculation (amending 2585c81d840a);
Thu, 22 Nov 2012 16:55:53 +0100 more precise tooltip window size;
wenzelm [Thu, 22 Nov 2012 16:55:53 +0100] rev 50167
more precise tooltip window size;
Thu, 22 Nov 2012 15:22:27 +0100 take component width as indication if it is already visible/layed-out, to avoid multiple formatting with minimal margin;
wenzelm [Thu, 22 Nov 2012 15:22:27 +0100] rev 50166
take component width as indication if it is already visible/layed-out, to avoid multiple formatting with minimal margin;
Thu, 22 Nov 2012 14:53:02 +0100 reset active area for outdated snapshot (again?);
wenzelm [Thu, 22 Nov 2012 14:53:02 +0100] rev 50165
reset active area for outdated snapshot (again?);
Thu, 22 Nov 2012 14:40:39 +0100 some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
wenzelm [Thu, 22 Nov 2012 14:40:39 +0100] rev 50164
some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
Thu, 22 Nov 2012 13:21:02 +0100 more abstract Sendback operations, with explicit id/exec_id properties;
wenzelm [Thu, 22 Nov 2012 13:21:02 +0100] rev 50163
more abstract Sendback operations, with explicit id/exec_id properties; purge result messages (again), cf. db58490a68ac, 7b61a539721e;
Thu, 22 Nov 2012 12:22:03 +0100 some support for breakable text and paragraphs;
wenzelm [Thu, 22 Nov 2012 12:22:03 +0100] rev 50162
some support for breakable text and paragraphs; tuned Symbol.scanner, which operates on symbols, not characters;
Thu, 22 Nov 2012 08:23:13 +0100 tuned names
nipkow [Thu, 22 Nov 2012 08:23:13 +0100] rev 50161
tuned names
Wed, 21 Nov 2012 21:08:20 +0100 tuned comment;
wenzelm [Wed, 21 Nov 2012 21:08:20 +0100] rev 50160
tuned comment;
Wed, 21 Nov 2012 20:50:34 +0100 clarified symbol groups, despite this traditional arrangement in X-symbol grid;
wenzelm [Wed, 21 Nov 2012 20:50:34 +0100] rev 50159
clarified symbol groups, despite this traditional arrangement in X-symbol grid;
Wed, 21 Nov 2012 20:36:52 +0100 always retain message positions, in order to allow Isabelle_Rendering.sendback retrieve the exec_id, even in tooltip or detached window;
wenzelm [Wed, 21 Nov 2012 20:36:52 +0100] rev 50158
always retain message positions, in order to allow Isabelle_Rendering.sendback retrieve the exec_id, even in tooltip or detached window;
Wed, 21 Nov 2012 20:15:25 +0100 tuned whitespace;
wenzelm [Wed, 21 Nov 2012 20:15:25 +0100] rev 50157
tuned whitespace;
Wed, 21 Nov 2012 16:43:14 +0100 merged
immler [Wed, 21 Nov 2012 16:43:14 +0100] rev 50156
merged
Wed, 21 Nov 2012 16:32:34 +0100 included abbrev in tooltip
immler [Wed, 21 Nov 2012 16:32:34 +0100] rev 50155
included abbrev in tooltip
Wed, 21 Nov 2012 16:21:16 +0100 removed (unicode) tooltips: can not adjust font in basic swing tooltip
immler [Wed, 21 Nov 2012 16:21:16 +0100] rev 50154
removed (unicode) tooltips: can not adjust font in basic swing tooltip
Wed, 21 Nov 2012 16:04:00 +0100 delayed search to improve reactivity
immler [Wed, 21 Nov 2012 16:04:00 +0100] rev 50153
delayed search to improve reactivity
Wed, 21 Nov 2012 14:53:26 +0100 respect font property for symbols
immler [Wed, 21 Nov 2012 14:53:26 +0100] rev 50152
respect font property for symbols
Wed, 21 Nov 2012 12:11:21 +0100 capitalize lowercase groups;
immler [Wed, 21 Nov 2012 12:11:21 +0100] rev 50151
capitalize lowercase groups; tuned with mkString
Wed, 21 Nov 2012 15:52:44 +0100 merged
wenzelm [Wed, 21 Nov 2012 15:52:44 +0100] rev 50150
merged
Wed, 21 Nov 2012 15:50:54 +0100 more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML;
wenzelm [Wed, 21 Nov 2012 15:50:54 +0100] rev 50149
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);
Wed, 21 Nov 2012 15:47:55 +0100 Countable_Set: tuned lemma names; more generic lemmas
hoelzl [Wed, 21 Nov 2012 15:47:55 +0100] rev 50148
Countable_Set: tuned lemma names; more generic lemmas
Wed, 21 Nov 2012 14:07:35 +0100 enable Symbols dockable by default;
wenzelm [Wed, 21 Nov 2012 14:07:35 +0100] rev 50147
enable Symbols dockable by default;
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 +30000 tip