| 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 |
| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | changeset | files |