| Fri, 01 May 2015 14:35:13 +0200 | wenzelm | clarified markup range; | changeset | files |
| Fri, 01 May 2015 13:58:06 +0200 | wenzelm | modifier markup for all parsed tokens; | changeset | files |
| Fri, 01 May 2015 00:27:04 +0200 | wenzelm | updated screenshots; | changeset | files |
| Thu, 30 Apr 2015 17:02:57 +0200 | wenzelm | updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository; | changeset | files |
| Thu, 30 Apr 2015 17:00:50 +0200 | wenzelm | avoid potential conflict with Eisbach keyword (although keywords are local to the theory context); | changeset | files |
| Tue, 28 Apr 2015 13:30:28 +0200 | blanchet | allow sorts on dead variables in BNFs | changeset | files |