Mon, 31 Dec 2012 15:56:17 +0100 | wenzelm | simplified quick start via "isabelle components -I"; | file | diff | annotate |
Fri, 17 Aug 2012 15:05:57 +0200 | wenzelm | minor robustification; | file | diff | annotate |
Fri, 17 Aug 2012 14:56:37 +0200 | wenzelm | added "isabelle components" tool; | file | diff | annotate |