| Wed, 22 Oct 2014 16:44:57 +0200 | wenzelm | restricted scanning; | changeset | files |
| Wed, 22 Oct 2014 11:24:48 +0200 | wenzelm | repaired rail diagram (cf. 8450b944e58a); | changeset | files |
| Tue, 21 Oct 2014 22:18:06 +0200 | wenzelm | foldPainter like Windows L&F; | changeset | files |
| Tue, 21 Oct 2014 21:55:45 +0200 | wenzelm | merged | changeset | files |
| Tue, 21 Oct 2014 21:35:45 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 21 Oct 2014 21:32:12 +0200 | wenzelm | tuned whitespace; | changeset | files |
| 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); | changeset | files |
| Tue, 21 Oct 2014 21:02:36 +0200 | wenzelm | support for proof structure matching; | changeset | files |
| Tue, 21 Oct 2014 20:45:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Oct 2014 20:44:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Oct 2014 20:19:14 +0200 | wenzelm | support for begin/end matching; | changeset | files |
| Tue, 21 Oct 2014 20:18:37 +0200 | wenzelm | proper token kind; | changeset | files |
| Tue, 21 Oct 2014 19:20:48 +0200 | wenzelm | added option jedit_structure_limit; | changeset | files |
| Tue, 21 Oct 2014 17:49:51 +0200 | wenzelm | some structure matching, based on line token iterators; | changeset | files |
| Tue, 21 Oct 2014 15:21:44 +0200 | wenzelm | support for structure matching; | changeset | files |
| Tue, 21 Oct 2014 13:56:42 +0200 | wenzelm | tuned rendering; | changeset | files |