Wed, 15 Aug 2012 12:54:25 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 30 Jul 2012 14:11:29 +0200 | wenzelm | more uniform usage of "isabelle tool"; | file | diff | annotate |
Sat, 28 Apr 2012 17:50:42 +0200 | wenzelm | some coverage of Isabelle/Scala tools; | file | diff | annotate |