wenzelm [Thu, 16 Jun 2011 22:15:35 +0200] rev 43415
brute-force range restriction to avoid spurious crashes;
wenzelm [Thu, 16 Jun 2011 22:05:40 +0200] rev 43414
static token markup, based on outer syntax only;
eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);
wenzelm [Thu, 16 Jun 2011 20:12:59 +0200] rev 43413
explicit dependency on Pure.jar;
wenzelm [Thu, 16 Jun 2011 18:00:56 +0200] rev 43412
partial scans of nested comments;
wenzelm [Thu, 16 Jun 2011 17:25:16 +0200] rev 43411
some support for partial scans with explicit context;
clarified junk vs. junk1;
haftmann [Thu, 16 Jun 2011 11:59:29 +0200] rev 43410
tuned spelling
wenzelm [Wed, 15 Jun 2011 22:01:27 +0200] rev 43409
updated generated file;
wenzelm [Wed, 15 Jun 2011 22:00:26 +0200] rev 43408
merged
haftmann [Wed, 15 Jun 2011 21:18:58 +0200] rev 43407
spelling
wenzelm [Wed, 15 Jun 2011 21:30:15 +0200] rev 43406
avoid compiler warning -- this is unchecked anyway;
wenzelm [Wed, 15 Jun 2011 21:22:51 +0200] rev 43405
tuned messages;
wenzelm [Wed, 15 Jun 2011 21:11:53 +0200] rev 43404
uniform use of Document_View.robust_body;
wenzelm [Wed, 15 Jun 2011 16:30:03 +0200] rev 43403
merged
blanchet [Wed, 15 Jun 2011 15:11:18 +0200] rev 43402
merge
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 43401
fixed soundness bug made more visible by previous change
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 43400
use more appropriate type systems for ATP exporter
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 43399
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
wenzelm [Wed, 15 Jun 2011 16:26:09 +0200] rev 43398
more robust painter_body wrt. EBP races and spurious exceptions (which causes jEdit to remove the extension);
wenzelm [Wed, 15 Jun 2011 16:22:58 +0200] rev 43397
more robust init;
wenzelm [Wed, 15 Jun 2011 15:42:54 +0200] rev 43396
recovered orig_text_painter from f4141da52e92;
wenzelm [Wed, 15 Jun 2011 15:08:22 +0200] rev 43395
tuned;
wenzelm [Wed, 15 Jun 2011 14:32:35 +0200] rev 43394
more elaborate syntax styles;
wenzelm [Wed, 15 Jun 2011 13:36:08 +0200] rev 43393
more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
wenzelm [Wed, 15 Jun 2011 11:41:49 +0200] rev 43392
paint caret according to precise font metrics;
wenzelm [Tue, 14 Jun 2011 21:41:00 +0200] rev 43391
include scala mode;
wenzelm [Tue, 14 Jun 2011 17:24:23 +0200] rev 43390
builtin sub/superscript styles for jedit-4.3.2;
wenzelm [Tue, 14 Jun 2011 15:58:01 +0200] rev 43389
merged
wenzelm [Tue, 14 Jun 2011 15:32:17 +0200] rev 43388
tuned colors;
wenzelm [Tue, 14 Jun 2011 14:55:22 +0200] rev 43387
recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
wenzelm [Tue, 14 Jun 2011 14:33:46 +0200] rev 43386
more foreground markup, using actual CSS color names;
boehmes [Tue, 14 Jun 2011 13:50:54 +0200] rev 43385
slightly more general treatment of mutually recursive datatypes;
treat datatype constructors and selectors similarly to built-in constants wrt. introduction of explicit application (in the same way as what is already done for eta-expansion)
wenzelm [Tue, 14 Jun 2011 13:34:27 +0200] rev 43384
more explicit check of dependencies;
wenzelm [Tue, 14 Jun 2011 13:18:36 +0200] rev 43383
tuned;
wenzelm [Tue, 14 Jun 2011 12:18:34 +0200] rev 43382
misc tuning and simplification;
wenzelm [Tue, 14 Jun 2011 11:36:08 +0200] rev 43381
separate module for text area painting;
bulwahn [Tue, 14 Jun 2011 08:33:51 +0200] rev 43380
improved mutabelle script to use nat for quickcheck_narrowing
bulwahn [Tue, 14 Jun 2011 08:30:19 +0200] rev 43379
quickcheck_narrowing returns some timing information
bulwahn [Tue, 14 Jun 2011 08:30:18 +0200] rev 43378
removed comment and declaration after issue has been resolved (cf. e83695ea0e0a)
wenzelm [Mon, 13 Jun 2011 23:21:53 +0200] rev 43377
more accurate CSS colors;
wenzelm [Mon, 13 Jun 2011 23:09:01 +0200] rev 43376
some direct text foreground painting, instead of token marking;
common snapshot for all text area painters (NOT gutter etc.)
tuned;
wenzelm [Mon, 13 Jun 2011 14:22:33 +0200] rev 43375
imitate original Chunk.paintChunkList;
wenzelm [Mon, 13 Jun 2011 13:53:41 +0200] rev 43374
tuned;
wenzelm [Mon, 13 Jun 2011 12:33:53 +0200] rev 43373
always use our text painter;
wenzelm [Mon, 13 Jun 2011 12:29:26 +0200] rev 43372
use orig_text_painter for extras outside main text (also required to update internal line infos);
tuned;
wenzelm [Sun, 12 Jun 2011 22:26:03 +0200] rev 43371
more precise imitation of original TextAreaPainter$PaintText;
wenzelm [Sun, 12 Jun 2011 20:24:25 +0200] rev 43370
tuned;
wenzelm [Sun, 12 Jun 2011 20:08:49 +0200] rev 43369
separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
wenzelm [Sun, 12 Jun 2011 16:19:29 +0200] rev 43368
check source dependencies only if jedit_build component is available;
wenzelm [Sat, 11 Jun 2011 16:05:17 +0200] rev 43367
cover method "deepen" concisely;
wenzelm [Sat, 11 Jun 2011 15:36:46 +0200] rev 43366
moved/updated single-step tactics;
wenzelm [Sat, 11 Jun 2011 15:03:31 +0200] rev 43365
tuned sections;
wenzelm [Sat, 11 Jun 2011 14:27:23 +0200] rev 43364
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
haftmann [Sat, 11 Jun 2011 07:50:28 +0200] rev 43363
tuned comment
blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43362
name tuning
blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43361
revived the lightweight "poly_tags_{query,bang}" type encodings by fixing their soundness bug
blanchet [Fri, 10 Jun 2011 17:52:09 +0200] rev 43360
don't trim proofs in debug mode