| Tue, 28 Feb 2017 23:12:52 +0100 | wenzelm | more detailed platform information; | changeset | files |
| Tue, 28 Feb 2017 19:50:08 +0100 | wenzelm | proper Isabelle/Scala tool; | changeset | files |
| Tue, 28 Feb 2017 17:51:49 +0100 | wenzelm | more operations; | changeset | files |