Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. More lemmas for HOL-Analysis
  3. merged
  4. updated for release;
  5. enforce Isabelle plugins to be enabled;
  6. officially allow restart of Isabelle plugin;
  7. reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin;
  8. proper update of options (amending c3d6dd17d626);
  9. more robust plugin restart;
  10. more robust shutdown, e.g. when plugin is stopped;
  11. separate base plugin for important services that should be always available, despite startup errors of the main plugin;
  12. Various lemmas for HOL-Analysis
Changeset 66467:65ad7a7a9d6a by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 66466:aec5d9c88d69 by manuel eberl _eberlm@in.tum.de_:
More lemmas for HOL-Analysis
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Generalised_Binomial_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Summation_Tests.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
Changeset 66465:86223a532d8e by wenzelm:
merged
Changeset 66464:c21a0198881b by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 66463:934bd55d768a by wenzelm:
enforce Isabelle plugins to be enabled;
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 66462:0a8277e9cfd6 by wenzelm:
officially allow restart of Isabelle plugin;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 66461:0b55fbc51f76 by wenzelm:
reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin;
The file was modified src/Pure/Tools/simplifier_trace.scala (diff)
Changeset 66460:f7b0d6fb417a by wenzelm:
proper update of options (amending c3d6dd17d626);
The file was modified src/Tools/jEdit/src/isabelle_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66459:b578ef1a8b40 by wenzelm:
more robust plugin restart;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66458:42d0d5c77c78 by wenzelm:
more robust shutdown, e.g. when plugin is stopped;
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66457:9098c36abd1a by wenzelm:
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
The file was addedsrc/Tools/jEdit/src-base/isabelle_encoding.scala
The file was addedsrc/Tools/jEdit/src-base/plugin.scala
The file was addedsrc/Tools/jEdit/src-base/services.xml
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/isabelle_encoding.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
Changeset 66456:621897f47fab by manuel eberl _eberlm@in.tum.de_:
Various lemmas for HOL-Analysis
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Analysis/Summation_Tests.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Series.thy (diff)