| 2013-07-27 | wenzelm | support isabelle options -g; | file | diff | annotate |
| 2013-06-25 | wenzelm | more formal isabelle_admin_build; | file | diff | annotate |
| 2013-05-17 | wenzelm | more precise "eval", cf. isabelle build; | file | diff | annotate |
| 2012-12-14 | wenzelm | clarified "isabelle options" command line, to make it more close to "isabelle components"; | file | diff | annotate |
| 2012-08-06 | wenzelm | "isabelle options" prints Isabelle system options; | file | diff | annotate |