| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | dropped long-unused option | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | avoid ad-hoc patching of generated code | changeset | files |
| Sat, 22 Feb 2014 22:06:10 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 22 Feb 2014 21:38:26 +0100 | wenzelm | support for semantic completion on Scala side; | changeset | files |
| Sat, 22 Feb 2014 20:56:50 +0100 | wenzelm | clarified module location (again, see 763d35697338); | changeset | files |
| Sat, 22 Feb 2014 20:52:43 +0100 | wenzelm | support for completion within the formal context; | changeset | files |
| Sat, 22 Feb 2014 18:07:31 +0100 | wenzelm | removed remains of old experiment (see b933142e02d0); | changeset | files |