| Sun, 03 Apr 2016 22:36:11 +0200 | wenzelm | prefer internal tool; | changeset | files |
| Sun, 03 Apr 2016 22:31:16 +0200 | wenzelm | prefer internal tool; | changeset | files |
| Sun, 03 Apr 2016 22:15:40 +0200 | wenzelm | support for internal tools; | changeset | files |
| Sun, 03 Apr 2016 21:32:57 +0200 | wenzelm | clarified Isabelle tool wrapper: bash, Scala, no perl, no ML; | changeset | files |
| Sun, 03 Apr 2016 19:47:29 +0200 | wenzelm | clarified usage; | changeset | files |
| Sun, 03 Apr 2016 10:25:17 +0200 | traytel | tuned names | changeset | files |
| Sat, 02 Apr 2016 23:29:05 +0200 | wenzelm | prefer infix operations; | changeset | files |
| Sat, 02 Apr 2016 23:14:08 +0200 | wenzelm | structure PolyML is sealed after bootstrap: all ML system access is managed by Isabelle; | changeset | files |
| Sat, 02 Apr 2016 22:46:12 +0200 | wenzelm | proper signature; | changeset | files |
| Sat, 02 Apr 2016 22:38:26 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Apr 2016 22:13:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 02 Apr 2016 21:55:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Apr 2016 21:54:51 +0200 | wenzelm | proper type; | changeset | files |
| Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | changeset | files |