| Wed, 12 Nov 2014 17:36:29 +0100 | immler | simplified computations based on round_up by reducing to round_down; | changeset | files |
| Wed, 12 Nov 2014 17:36:25 +0100 | immler | code equation for powr | changeset | files |
| Tue, 11 Nov 2014 21:14:19 +0100 | wenzelm | merged | changeset | files |
| Tue, 11 Nov 2014 20:11:38 +0100 | wenzelm | more careful ML source positions, for improved PIDE markup; | changeset | files |