| Tue, 22 Sep 2015 12:10:25 +0200 | haftmann | include some data structures into code generation | changeset | files |
| Tue, 22 Sep 2015 11:48:22 +0200 | haftmann | effective revert of e6b1236f9b3d: spontaneous eta-contraction happens on the print translation level and can only be suppressed on the print translation level | changeset | files |
| Tue, 22 Sep 2015 14:31:22 +0200 | nipkow | tuned references | changeset | files |
| Tue, 22 Sep 2015 08:38:25 +0200 | nipkow | added red black trees | changeset | files |
| Mon, 21 Sep 2015 23:22:11 +0200 | wenzelm | clarified markup; | changeset | files |
| Mon, 21 Sep 2015 21:46:14 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Mon, 21 Sep 2015 21:43:09 +0200 | wenzelm | merged | changeset | files |
| Mon, 21 Sep 2015 20:45:57 +0200 | wenzelm | tuned GUI; | changeset | files |