| 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 |
| Wed, 29 Apr 2015 23:30:47 +0200 | wenzelm | use smaller example that fits into 64MB string limit of Poly/ML x86 platform; | changeset | files |
| Wed, 29 Apr 2015 23:26:11 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 Apr 2015 14:04:22 +0100 | paulson | Tidying. Improved simplification for numerals, esp in exponents. | changeset | files |