Sun, 19 Jun 2011 14:31:08 +0200 wenzelm names for control symbols without "^", which is relevant for completion;
Sun, 19 Jun 2011 14:11:06 +0200 wenzelm some unicode chars for special control symbols;
Sun, 19 Jun 2011 00:03:44 +0200 wenzelm tuned;
Sat, 18 Jun 2011 23:51:22 +0200 wenzelm tuned markup;
Sat, 18 Jun 2011 23:34:34 +0200 wenzelm avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
Sat, 18 Jun 2011 22:01:22 +0200 wenzelm proper gfx.setColor;
Sat, 18 Jun 2011 21:26:47 +0200 wenzelm proper x1;
Sat, 18 Jun 2011 21:20:22 +0200 wenzelm convenience functions;
Sat, 18 Jun 2011 21:03:52 +0200 wenzelm more robust caret painting wrt. surrogate characters;
Sat, 18 Jun 2011 18:57:38 +0200 wenzelm do not control malformed symbols;
Sat, 18 Jun 2011 18:31:55 +0200 wenzelm Buffer.editSyntaxStyle: mask extended syntax styles;
Sat, 18 Jun 2011 18:17:08 +0200 wenzelm hardwired abbreviations for standard control symbols;
Sat, 18 Jun 2011 17:42:28 +0200 wenzelm updated to jedit_build-20110618, which is required for sub/superscript rendering;
Sat, 18 Jun 2011 17:33:27 +0200 wenzelm basic support for extended syntax styles: sub/superscript;
Sat, 18 Jun 2011 17:32:13 +0200 wenzelm tuned -- Map.empty serves as partial function;
Sat, 18 Jun 2011 17:30:44 +0200 wenzelm proper place for config files (cf. 55866987a7d9);
Sat, 18 Jun 2011 15:32:05 +0200 wenzelm tuned signature;
Sat, 18 Jun 2011 15:18:57 +0200 wenzelm merged
Fri, 17 Jun 2011 20:38:43 +0200 kleing IMP compiler with int, added reverse soundness direction
Sat, 18 Jun 2011 15:11:33 +0200 wenzelm proper place for config files;
Sat, 18 Jun 2011 15:07:16 +0200 wenzelm tuned markup;
Sat, 18 Jun 2011 14:48:56 +0200 wenzelm highlight via foreground painter, using alpha channel;
Sat, 18 Jun 2011 12:58:41 +0200 wenzelm tuned signature;
Sat, 18 Jun 2011 12:49:55 +0200 wenzelm tuned text;
Sat, 18 Jun 2011 12:37:42 +0200 wenzelm inner literal/delimiter corresponds to outer keyword/operator;
Sat, 18 Jun 2011 12:13:42 +0200 wenzelm tuned markup;
Sat, 18 Jun 2011 11:45:07 +0200 wenzelm more uniform treatment of "keyword" vs. "operator";
Sat, 18 Jun 2011 11:22:03 +0200 wenzelm simplified Line_Context (again);
Sat, 18 Jun 2011 00:05:29 +0200 wenzelm more robust treatment of partial range restriction;
Sat, 18 Jun 2011 00:03:58 +0200 wenzelm select_markup: no filtering here -- results may be distorted anyway;
Fri, 17 Jun 2011 23:20:34 +0200 wenzelm more explicit treatment of ranges after revert/convert, which may well distort the overall start/end positions;
Fri, 17 Jun 2011 23:18:22 +0200 wenzelm more explicit error message;
Fri, 17 Jun 2011 14:35:24 +0200 wenzelm merged
Thu, 16 Jun 2011 13:50:35 +0200 blanchet gave up an optimization that sometimes lead to unsound proofs -- in short, facts talking about a schematic type variable can encode a cardinality constraint and be consistent with HOL, e.g. "card (UNIV::?'a set) = 1 ==> ALL x y. x = y"
Thu, 16 Jun 2011 13:50:35 +0200 blanchet added missing case in pattern matching -- solves Waldmeister "Match" exceptions that have been plaguing some users
Thu, 16 Jun 2011 13:50:35 +0200 blanchet fixed soundness bug related to extensionality
Fri, 17 Jun 2011 14:31:13 +0200 wenzelm unconditional recovery from bad context (e.g. Quoted with malformed quoted_body);
Fri, 17 Jun 2011 13:55:53 +0200 wenzelm flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec);
Fri, 17 Jun 2011 00:10:39 +0200 wenzelm recovered markup for non-alphabetic keywords;
Thu, 16 Jun 2011 23:35:37 +0200 wenzelm more precise imitation of original TextAreaPainter: no locking;
Thu, 16 Jun 2011 23:16:06 +0200 wenzelm more precise imitatation of original TokenMarker: no locking, interned context etc.;
Thu, 16 Jun 2011 22:15:35 +0200 wenzelm brute-force range restriction to avoid spurious crashes;
Thu, 16 Jun 2011 22:05:40 +0200 wenzelm static token markup, based on outer syntax only;
Thu, 16 Jun 2011 20:12:59 +0200 wenzelm explicit dependency on Pure.jar;
Thu, 16 Jun 2011 18:00:56 +0200 wenzelm partial scans of nested comments;
Thu, 16 Jun 2011 17:25:16 +0200 wenzelm some support for partial scans with explicit context;
Thu, 16 Jun 2011 11:59:29 +0200 haftmann tuned spelling
Wed, 15 Jun 2011 22:01:27 +0200 wenzelm updated generated file;
Wed, 15 Jun 2011 22:00:26 +0200 wenzelm merged
Wed, 15 Jun 2011 21:18:58 +0200 haftmann spelling
Wed, 15 Jun 2011 21:30:15 +0200 wenzelm avoid compiler warning -- this is unchecked anyway;
Wed, 15 Jun 2011 21:22:51 +0200 wenzelm tuned messages;
Wed, 15 Jun 2011 21:11:53 +0200 wenzelm uniform use of Document_View.robust_body;
Wed, 15 Jun 2011 16:30:03 +0200 wenzelm merged
Wed, 15 Jun 2011 15:11:18 +0200 blanchet merge
Wed, 15 Jun 2011 14:36:41 +0200 blanchet fixed soundness bug made more visible by previous change
Wed, 15 Jun 2011 14:36:41 +0200 blanchet use more appropriate type systems for ATP exporter
Wed, 15 Jun 2011 14:36:41 +0200 blanchet type arguments now (unlike back when fa2cf11d6351 was done) normally carry enough information to reconstruct the type of an applied constant, so no need to constraint the argument types in those cases
Wed, 15 Jun 2011 16:26:09 +0200 wenzelm more robust painter_body wrt. EBP races and spurious exceptions (which causes jEdit to remove the extension);
Wed, 15 Jun 2011 16:22:58 +0200 wenzelm more robust init;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip