| 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
|