Sun, 20 Aug 2017 18:45:42 +0200 | wenzelm | more robust plugin restart; | changeset | files |
Sun, 20 Aug 2017 18:30:20 +0200 | wenzelm | more robust shutdown, e.g. when plugin is stopped; | changeset | files |
Sun, 20 Aug 2017 14:03:23 +0200 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | changeset | files |
Sun, 20 Aug 2017 03:35:20 +0200 | Manuel Eberl | Various lemmas for HOL-Analysis | changeset | files |
Fri, 18 Aug 2017 22:55:54 +0200 | wenzelm | merged | changeset | files |
Fri, 18 Aug 2017 22:55:24 +0200 | wenzelm | more NEWS; | changeset | files |