| Fri, 01 May 2015 08:45:30 +0200 | nipkow | new simp rule | changeset | files |
| Thu, 30 Apr 2015 16:07:43 +0200 | wenzelm | more formal source, more PIDE markup; | changeset | files |
| Thu, 30 Apr 2015 15:58:15 +0200 | wenzelm | tuned -- avoid odd rebinding of "ctxt" and "context"; | changeset | files |
| Thu, 30 Apr 2015 15:41:53 +0200 | wenzelm | tuned; | changeset | files |