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