| Wed, 22 Jun 2016 10:09:20 +0200 | wenzelm | bundle lifting_syntax; | changeset | files |
| Tue, 21 Jun 2016 17:35:45 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Jun 2016 17:25:28 +0200 | wenzelm | clarified derived bindings (for PIDE reports); | changeset | files |
| Tue, 21 Jun 2016 17:21:57 +0200 | wenzelm | clarified rendering (amending ae9330fdbc16); | changeset | files |
| Tue, 21 Jun 2016 16:10:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 21 Jun 2016 15:10:43 +0200 | wenzelm | merged | changeset | files |
| Tue, 21 Jun 2016 14:42:47 +0200 | wenzelm | position information for literal facts; | changeset | files |