Thu, 23 Sep 2010 15:36:03 +0200 | wenzelm | tuned; | changeset | files |
Thu, 23 Sep 2010 15:21:04 +0200 | wenzelm | manage persistent syslog via Session, not Isabelle_Process; | changeset | files |
Thu, 23 Sep 2010 14:39:29 +0200 | wenzelm | tuned prover message categorization; | changeset | files |