| Sat, 18 Jun 2011 12:49:55 +0200 |
wenzelm |
tuned text;
|
changeset |
files
|
| Sat, 18 Jun 2011 12:37:42 +0200 |
wenzelm |
inner literal/delimiter corresponds to outer keyword/operator;
|
changeset |
files
|
| Sat, 18 Jun 2011 12:13:42 +0200 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Sat, 18 Jun 2011 11:45:07 +0200 |
wenzelm |
more uniform treatment of "keyword" vs. "operator";
|
changeset |
files
|
| Sat, 18 Jun 2011 11:22:03 +0200 |
wenzelm |
simplified Line_Context (again);
|
changeset |
files
|
| Sat, 18 Jun 2011 00:05:29 +0200 |
wenzelm |
more robust treatment of partial range restriction;
|
changeset |
files
|
| Sat, 18 Jun 2011 00:03:58 +0200 |
wenzelm |
select_markup: no filtering here -- results may be distorted anyway;
|
changeset |
files
|
| Fri, 17 Jun 2011 23:20:34 +0200 |
wenzelm |
more explicit treatment of ranges after revert/convert, which may well distort the overall start/end positions;
|
changeset |
files
|
| Fri, 17 Jun 2011 23:18:22 +0200 |
wenzelm |
more explicit error message;
|
changeset |
files
|
| Fri, 17 Jun 2011 14:35:24 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 16 Jun 2011 13:50:35 +0200 |
blanchet |
gave up an optimization that sometimes lead to unsound proofs -- in short, facts talking about a schematic type variable can encode a cardinality constraint and be consistent with HOL, e.g. "card (UNIV::?'a set) = 1 ==> ALL x y. x = y"
|
changeset |
files
|
| Thu, 16 Jun 2011 13:50:35 +0200 |
blanchet |
added missing case in pattern matching -- solves Waldmeister "Match" exceptions that have been plaguing some users
|
changeset |
files
|
| Thu, 16 Jun 2011 13:50:35 +0200 |
blanchet |
fixed soundness bug related to extensionality
|
changeset |
files
|
| 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
|