| Fri, 02 Jul 2010 14:23:16 +0200 | haftmann | build image for session HOL-Library; introduced distinct session HOL-Codegenerator_Test | changeset | files |
| Sun, 04 Jul 2010 21:01:22 +0200 | wenzelm | general Future.report -- also for Toplevel.async_state; | changeset | files |
| Sun, 04 Jul 2010 00:05:32 +0200 | wenzelm | simplified Isabelle_Process.Result: use markup directly; | changeset | files |
| Sat, 03 Jul 2010 23:24:36 +0200 | wenzelm | run_command: actually observe "print" flag; | changeset | files |
| Sat, 03 Jul 2010 22:33:10 +0200 | wenzelm | Toplevel.run_command: asynchronous state output, as an attempt to address potentially slow pretty printing (e.g. in HOL/Bali); | changeset | files |
| Sat, 03 Jul 2010 20:36:30 +0200 | wenzelm | more precise timing; | changeset | files |