Sat, 13 Jul 2013 00:50:49 +0200 | wenzelm | hybrid "auto" tool setup, for TTY (within theory) and PIDE (global print function); | changeset | files |
Sat, 13 Jul 2013 00:24:05 +0200 | wenzelm | compile | changeset | files |
Fri, 12 Jul 2013 23:45:05 +0200 | wenzelm | system options for Isabelle/HOL proof tools; | changeset | files |