Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified modules;
  2. clarified signature: more robust;
  3. tuned;
  4. clarified modules;
  5. more specific GUI for document nodes;
  6. tuned;
  7. tuned;
  8. tuned;
  9. tuned;
  10. tuned;
  11. tuned;
Changeset 76606:3558388330f8 by wenzelm:
clarified modules;
The file was addedsrc/Pure/PIDE/document_editor.scala
The file was modified etc/build.props
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 76605:77805bdabc8e by wenzelm:
clarified signature: more robust;
The file was modified src/Pure/Tools/debugger.scala
The file was modified src/Tools/jEdit/src/debugger_dockable.scala
Changeset 76604:aaedcdfa2154 by wenzelm:
tuned;
The file was modified src/Pure/Tools/debugger.scala
Changeset 76603:f10e6af0264f by wenzelm:
clarified modules;
The file was modified src/Tools/jEdit/src/theories_status.scala
Changeset 76602:b5dfe1551637 by wenzelm:
more specific GUI for document nodes;
The file was modified src/Tools/jEdit/src/document_dockable.scala
The file was modified src/Tools/jEdit/src/theories_status.scala
Changeset 76601:01978b4acdaf by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_resources.scala
The file was modified src/Tools/jEdit/src/main_plugin.scala
Changeset 76600:2ccad59c0d4d by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala
Changeset 76599:dc779ddd35cc by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala
Changeset 76598:9f97eda3fcf1 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/theories_status.scala
Changeset 76597:faea52979f54 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala
Changeset 76596:ec5058884347 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_resources.scala