| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | tuned headers | changeset | files |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | moved 'Ctr_Sugar' files out of BNF, so that it can become a general-purpose abstraction | changeset | files |
| Tue, 12 Nov 2013 12:04:17 +0100 | wenzelm | updated sessions; | changeset | files |
| Tue, 12 Nov 2013 11:52:42 +0100 | wenzelm | proper latex -- NB: cannot use antiquotation here; | changeset | files |
| Mon, 11 Nov 2013 22:00:57 +0100 | wenzelm | merged | changeset | files |
| Mon, 11 Nov 2013 21:28:08 +0100 | wenzelm | simplified App template; | changeset | files |
| Mon, 11 Nov 2013 21:20:51 +0100 | wenzelm | obsolete; | changeset | files |