2017-08-20 wenzelm more robust plugin restart;
2017-08-20 wenzelm more robust shutdown, e.g. when plugin is stopped;
2017-08-20 wenzelm separate base plugin for important services that should be always available, despite startup errors of the main plugin;
2017-08-20 Manuel Eberl Various lemmas for HOL-Analysis
2017-08-18 wenzelm merged
2017-08-18 wenzelm more NEWS;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip