| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | keep only identifiers public which are explicitly requested or demanded by dependencies | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | explicit option for "open" code generation | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | tuned | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | more fine-grain notion of export | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | tuned | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | formal markup for public ingredients | changeset | files |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | tuned | changeset | files |
| 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 |
| Sat, 22 Feb 2014 17:13:30 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 22 Feb 2014 16:58:02 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 22 Feb 2014 16:16:21 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 22 Feb 2014 16:11:23 +0100 | wenzelm | tuned comment; | changeset | files |
| Sat, 22 Feb 2014 15:07:33 +0100 | wenzelm | refined language context: antiquotes; | changeset | files |
| Fri, 21 Feb 2014 23:42:43 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 21 Feb 2014 21:27:55 +0100 | wenzelm | merged | changeset | files |
| Fri, 21 Feb 2014 21:08:03 +0100 | wenzelm | more standard theory name; | changeset | files |
| Fri, 21 Feb 2014 20:54:13 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 21 Feb 2014 20:47:48 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 21 Feb 2014 20:37:13 +0100 | wenzelm | proper ML structure with signature; | changeset | files |
| Fri, 21 Feb 2014 20:29:33 +0100 | wenzelm | reduced ML warnings; | changeset | files |
| Fri, 21 Feb 2014 19:20:26 +0100 | haftmann | simultaneous mapping of strongly connected components | changeset | files |
| Fri, 21 Feb 2014 19:20:24 +0100 | haftmann | dropped dead code | changeset | files |
| Fri, 21 Feb 2014 18:23:11 +0100 | wenzelm | more symbols; | changeset | files |
| Fri, 21 Feb 2014 17:06:48 +0100 | wenzelm | merged | changeset | files |