| Fri, 20 Jul 2012 16:47:43 +0200 | wenzelm | define build_options from command line; | changeset | files |
| Fri, 20 Jul 2012 16:47:17 +0200 | wenzelm | some basic Isabelle options; | changeset | files |
| Fri, 20 Jul 2012 16:45:38 +0200 | wenzelm | basic jEdit mode for Isabelle options; | changeset | files |
| Fri, 20 Jul 2012 15:48:22 +0200 | wenzelm | basic support for stand-alone options with external string representation; | changeset | files |
| Fri, 20 Jul 2012 12:45:12 +0200 | wenzelm | minimal build_job; | changeset | files |
| Fri, 20 Jul 2012 12:27:25 +0200 | wenzelm | restrict to required sessions; | changeset | files |