| Mon, 08 Oct 2018 15:42:43 +0200 | wenzelm | support for OCaml via command-line tools; | changeset | files |
| Mon, 08 Oct 2018 12:52:28 +0200 | wenzelm | isabelle_opam as portable shell function; | changeset | files |
| Sun, 07 Oct 2018 16:28:38 +0200 | nipkow | added Braun_Tree.thy | changeset | files |
| Sat, 06 Oct 2018 20:49:40 +0200 | wenzelm | activate jdk-11 | changeset | files |
| Sat, 06 Oct 2018 21:20:48 +0200 | wenzelm | updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io); | changeset | files |
| Sat, 06 Oct 2018 19:15:12 +0200 | wenzelm | updated to jdk-11: jre is only a symlink to jdk; | changeset | files |
| Sat, 06 Oct 2018 17:37:09 +0200 | wenzelm | support for jdk-11; | changeset | files |
| Sat, 06 Oct 2018 15:06:10 +0200 | wenzelm | updated to jdk-11; | changeset | files |