Fri, 17 Jun 2011 14:31:13 +0200 |
wenzelm |
unconditional recovery from bad context (e.g. Quoted with malformed quoted_body);
|
changeset |
files
|
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);
|
changeset |
files
|
Fri, 17 Jun 2011 00:10:39 +0200 |
wenzelm |
recovered markup for non-alphabetic keywords;
|
changeset |
files
|
Thu, 16 Jun 2011 23:35:37 +0200 |
wenzelm |
more precise imitation of original TextAreaPainter: no locking;
|
changeset |
files
|
Thu, 16 Jun 2011 23:16:06 +0200 |
wenzelm |
more precise imitatation of original TokenMarker: no locking, interned context etc.;
|
changeset |
files
|
Thu, 16 Jun 2011 22:15:35 +0200 |
wenzelm |
brute-force range restriction to avoid spurious crashes;
|
changeset |
files
|
Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
changeset |
files
|
Thu, 16 Jun 2011 20:12:59 +0200 |
wenzelm |
explicit dependency on Pure.jar;
|
changeset |
files
|
Thu, 16 Jun 2011 18:00:56 +0200 |
wenzelm |
partial scans of nested comments;
|
changeset |
files
|
Thu, 16 Jun 2011 17:25:16 +0200 |
wenzelm |
some support for partial scans with explicit context;
|
changeset |
files
|
Thu, 16 Jun 2011 11:59:29 +0200 |
haftmann |
tuned spelling
|
changeset |
files
|
Wed, 15 Jun 2011 22:01:27 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
Wed, 15 Jun 2011 22:00:26 +0200 |
wenzelm |
merged
|
changeset |
files
|
Wed, 15 Jun 2011 21:18:58 +0200 |
haftmann |
spelling
|
changeset |
files
|
Wed, 15 Jun 2011 21:30:15 +0200 |
wenzelm |
avoid compiler warning -- this is unchecked anyway;
|
changeset |
files
|
Wed, 15 Jun 2011 21:22:51 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
Wed, 15 Jun 2011 21:11:53 +0200 |
wenzelm |
uniform use of Document_View.robust_body;
|
changeset |
files
|
Wed, 15 Jun 2011 16:30:03 +0200 |
wenzelm |
merged
|
changeset |
files
|
Wed, 15 Jun 2011 15:11:18 +0200 |
blanchet |
merge
|
changeset |
files
|
Wed, 15 Jun 2011 14:36:41 +0200 |
blanchet |
fixed soundness bug made more visible by previous change
|
changeset |
files
|
Wed, 15 Jun 2011 14:36:41 +0200 |
blanchet |
use more appropriate type systems for ATP exporter
|
changeset |
files
|
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
|
changeset |
files
|
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);
|
changeset |
files
|
Wed, 15 Jun 2011 16:22:58 +0200 |
wenzelm |
more robust init;
|
changeset |
files
|
Wed, 15 Jun 2011 15:42:54 +0200 |
wenzelm |
recovered orig_text_painter from f4141da52e92;
|
changeset |
files
|
Wed, 15 Jun 2011 15:08:22 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 15 Jun 2011 14:32:35 +0200 |
wenzelm |
more elaborate syntax styles;
|
changeset |
files
|
Wed, 15 Jun 2011 13:36:08 +0200 |
wenzelm |
more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
|
changeset |
files
|
Wed, 15 Jun 2011 11:41:49 +0200 |
wenzelm |
paint caret according to precise font metrics;
|
changeset |
files
|
Tue, 14 Jun 2011 21:41:00 +0200 |
wenzelm |
include scala mode;
|
changeset |
files
|
Tue, 14 Jun 2011 17:24:23 +0200 |
wenzelm |
builtin sub/superscript styles for jedit-4.3.2;
|
changeset |
files
|
Tue, 14 Jun 2011 15:58:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
Tue, 14 Jun 2011 15:32:17 +0200 |
wenzelm |
tuned colors;
|
changeset |
files
|
Tue, 14 Jun 2011 14:55:22 +0200 |
wenzelm |
recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
|
changeset |
files
|
Tue, 14 Jun 2011 14:33:46 +0200 |
wenzelm |
more foreground markup, using actual CSS color names;
|
changeset |
files
|
Tue, 14 Jun 2011 13:50:54 +0200 |
boehmes |
slightly more general treatment of mutually recursive datatypes;
|
changeset |
files
|
Tue, 14 Jun 2011 13:34:27 +0200 |
wenzelm |
more explicit check of dependencies;
|
changeset |
files
|
Tue, 14 Jun 2011 13:18:36 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 14 Jun 2011 12:18:34 +0200 |
wenzelm |
misc tuning and simplification;
|
changeset |
files
|
Tue, 14 Jun 2011 11:36:08 +0200 |
wenzelm |
separate module for text area painting;
|
changeset |
files
|
Tue, 14 Jun 2011 08:33:51 +0200 |
bulwahn |
improved mutabelle script to use nat for quickcheck_narrowing
|
changeset |
files
|
Tue, 14 Jun 2011 08:30:19 +0200 |
bulwahn |
quickcheck_narrowing returns some timing information
|
changeset |
files
|
Tue, 14 Jun 2011 08:30:18 +0200 |
bulwahn |
removed comment and declaration after issue has been resolved (cf. e83695ea0e0a)
|
changeset |
files
|
Mon, 13 Jun 2011 23:21:53 +0200 |
wenzelm |
more accurate CSS colors;
|
changeset |
files
|
Mon, 13 Jun 2011 23:09:01 +0200 |
wenzelm |
some direct text foreground painting, instead of token marking;
|
changeset |
files
|
Mon, 13 Jun 2011 14:22:33 +0200 |
wenzelm |
imitate original Chunk.paintChunkList;
|
changeset |
files
|
Mon, 13 Jun 2011 13:53:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 13 Jun 2011 12:33:53 +0200 |
wenzelm |
always use our text painter;
|
changeset |
files
|
Mon, 13 Jun 2011 12:29:26 +0200 |
wenzelm |
use orig_text_painter for extras outside main text (also required to update internal line infos);
|
changeset |
files
|
Sun, 12 Jun 2011 22:26:03 +0200 |
wenzelm |
more precise imitation of original TextAreaPainter$PaintText;
|
changeset |
files
|
Sun, 12 Jun 2011 20:24:25 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 12 Jun 2011 20:08:49 +0200 |
wenzelm |
separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
|
changeset |
files
|
Sun, 12 Jun 2011 16:19:29 +0200 |
wenzelm |
check source dependencies only if jedit_build component is available;
|
changeset |
files
|
Sat, 11 Jun 2011 16:05:17 +0200 |
wenzelm |
cover method "deepen" concisely;
|
changeset |
files
|
Sat, 11 Jun 2011 15:36:46 +0200 |
wenzelm |
moved/updated single-step tactics;
|
changeset |
files
|
Sat, 11 Jun 2011 15:03:31 +0200 |
wenzelm |
tuned sections;
|
changeset |
files
|
Sat, 11 Jun 2011 14:27:23 +0200 |
wenzelm |
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
|
changeset |
files
|
Sat, 11 Jun 2011 07:50:28 +0200 |
haftmann |
tuned comment
|
changeset |
files
|
Fri, 10 Jun 2011 17:52:09 +0200 |
blanchet |
name tuning
|
changeset |
files
|
Fri, 10 Jun 2011 17:52:09 +0200 |
blanchet |
revived the lightweight "poly_tags_{query,bang}" type encodings by fixing their soundness bug
|
changeset |
files
|