| Fri, 14 Dec 2012 16:45:41 +0100 | wenzelm | clarified "isabelle options" command line, to make it more close to "isabelle components"; | file | diff | annotate |
| Mon, 06 Aug 2012 16:05:29 +0200 | wenzelm | "isabelle options" prints Isabelle system options; | file | diff | annotate |