Fri, 14 Oct 2016 16:53:26 +0200 | wenzelm | more formal Release_Info; | changeset | files |
Thu, 13 Oct 2016 23:44:40 +0200 | wenzelm | replaced shell script by Isabelle/Scala; | changeset | files |
Thu, 13 Oct 2016 23:09:26 +0200 | wenzelm | tuned; | changeset | files |