| Mon, 10 Oct 2016 09:57:56 +0200 | wenzelm | tuned comment; | changeset | files |
| Sun, 09 Oct 2016 23:08:40 +0200 | wenzelm | support for SSH in Isabelle/Scala; | changeset | files |
| Mon, 10 Oct 2016 15:45:41 +0100 | paulson | invariance of domain | changeset | files |
| Sun, 09 Oct 2016 16:27:01 +0200 | wenzelm | enforce detailed build log; | changeset | files |
| Sun, 09 Oct 2016 16:24:54 +0200 | wenzelm | record heap sizes; | changeset | files |
| Sun, 09 Oct 2016 15:28:18 +0200 | wenzelm | inline session ML statistics into main build log; | changeset | files |
| Sun, 09 Oct 2016 14:19:46 +0200 | wenzelm | modernized; | changeset | files |