| 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 |