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