| Sun, 26 May 2013 22:47:00 +0200 | wenzelm | position constraint for bound dummy -- more PIDE markup; | changeset | files |
| Sun, 26 May 2013 21:53:10 +0200 | wenzelm | position constraint for dummy_pattern -- more PIDE markup; | changeset | files |
| Sun, 26 May 2013 21:05:03 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 26 May 2013 20:42:43 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |