2017-08-20 | wenzelm | more robust plugin restart; | changeset | files |
2017-08-20 | wenzelm | more robust shutdown, e.g. when plugin is stopped; | changeset | files |
2017-08-20 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | changeset | files |
2017-08-20 | Manuel Eberl | Various lemmas for HOL-Analysis | changeset | files |
2017-08-18 | wenzelm | merged | changeset | files |
2017-08-18 | wenzelm | more NEWS; | changeset | files |
Loading... |