Thu, 20 Oct 2016 17:28:09 +0200 | eberlm | Repaired LaTeX in HOL-Data_Structures | changeset | files |
Thu, 20 Oct 2016 13:53:36 +0200 | eberlm | More on Fibonacci numbers | changeset | files |
Thu, 20 Oct 2016 11:05:16 +0200 | wenzelm | build HTML library in Isabelle/Scala; | changeset | files |
Thu, 20 Oct 2016 11:04:38 +0200 | wenzelm | proper echo; | changeset | files |
Thu, 20 Oct 2016 10:30:11 +0200 | wenzelm | more robust bootstrap, e.g. when experimenting with Poly/ML repository changes; | changeset | files |
Wed, 19 Oct 2016 18:14:42 +0200 | wenzelm | updated to jdk-8u112; | changeset | files |