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