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;