| Sun, 26 May 2013 20:08:53 +0200 | wenzelm | tuned -- less ML compiler warnings; | changeset | files |
| Sun, 26 May 2013 20:03:47 +0200 | wenzelm | more robust variant_free: avoid clash with consts name space (e.g. consts "x", "xa", etc.); | changeset | files |
| Sun, 26 May 2013 19:29:15 +0200 | wenzelm | more uniform context; | changeset | files |
| Sun, 26 May 2013 19:27:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 26 May 2013 19:11:52 +0200 | wenzelm | more conventional pretty printing; | changeset | files |
| Sun, 26 May 2013 18:37:43 +0200 | wenzelm | tuned white-space; | changeset | files |
| Sun, 26 May 2013 19:45:54 +0200 | haftmann | more specific structure for registration into theory and dependency onto locale | changeset | files |
| Sun, 26 May 2013 19:45:54 +0200 | haftmann | examples for interpretation into target | changeset | files |