wenzelm [Wed, 15 Jun 2011 15:08:22 +0200] rev 44270
tuned;
wenzelm [Wed, 15 Jun 2011 14:32:35 +0200] rev 44269
more elaborate syntax styles;
wenzelm [Wed, 15 Jun 2011 13:36:08 +0200] rev 44268
more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
wenzelm [Wed, 15 Jun 2011 11:41:49 +0200] rev 44267
paint caret according to precise font metrics;
wenzelm [Tue, 14 Jun 2011 21:41:00 +0200] rev 44266
include scala mode;
blanchet [Wed, 15 Jun 2011 15:11:18 +0200] rev 44265
merge
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 44264
fixed soundness bug made more visible by previous change
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 44263
use more appropriate type systems for ATP exporter
blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 44262
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 [Tue, 14 Jun 2011 17:24:23 +0200] rev 44261
builtin sub/superscript styles for jedit-4.3.2;