Wed, 22 Oct 2014 17:04:45 +0200 |
wenzelm |
find main command keyword of 'begin';
|
file |
diff |
annotate
|
Wed, 22 Oct 2014 16:44:57 +0200 |
wenzelm |
restricted scanning;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 21:20:45 +0200 |
wenzelm |
ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 21:02:36 +0200 |
wenzelm |
support for proof structure matching;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 20:45:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 20:19:14 +0200 |
wenzelm |
support for begin/end matching;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 19:20:48 +0200 |
wenzelm |
added option jedit_structure_limit;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 17:49:51 +0200 |
wenzelm |
some structure matching, based on line token iterators;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 15:21:44 +0200 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|