Wed, 30 May 2018 17:10:02 +0200 | wenzelm | store Isabelle symbols in canonical form; | changeset | files |
Wed, 30 May 2018 14:46:04 +0200 | wenzelm | clarified outermost progress.interrupt_handler; | changeset | files |
Wed, 30 May 2018 14:34:43 +0200 | wenzelm | report theory progress via PIDE node status; | changeset | files |