| Sun, 20 Aug 2017 23:41:17 +0200 | Manuel Eberl | Merged | changeset | files |
| Sun, 20 Aug 2017 18:55:03 +0200 | Manuel Eberl | More lemmas for HOL-Analysis | changeset | files |
| Sun, 20 Aug 2017 21:37:55 +0200 | wenzelm | merged | changeset | files |
| Sun, 20 Aug 2017 21:37:15 +0200 | wenzelm | updated for release; | changeset | files |
| Sun, 20 Aug 2017 21:32:26 +0200 | wenzelm | enforce Isabelle plugins to be enabled; | changeset | files |
| Sun, 20 Aug 2017 20:53:03 +0200 | wenzelm | officially allow restart of Isabelle plugin; | changeset | files |
| Sun, 20 Aug 2017 20:38:37 +0200 | wenzelm | reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin; | changeset | files |