Sat, 28 Mar 2020 17:27:01 +0000 | paulson | structured a lot of ancient, horrible proofs | changeset | files |
Sat, 28 Mar 2020 14:01:45 +0100 | wenzelm | clarified Isabelle_Process phases; | changeset | files |
Sat, 28 Mar 2020 13:40:55 +0100 | wenzelm | clarified order: update syslog before handling exit; | changeset | files |