| Mon, 27 May 2013 10:13:51 +0200 | nipkow | tuned | changeset | files |
| Mon, 27 May 2013 09:15:26 +0200 | nipkow | tuned | changeset | files |
| Mon, 27 May 2013 07:44:10 +0200 | nipkow | merged | changeset | files |
| Mon, 27 May 2013 07:42:10 +0200 | nipkow | tuned | changeset | files |
| Sun, 26 May 2013 22:57:48 +0200 | wenzelm | merged | changeset | files |
| 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 |
| 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 |