Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. unused;
  3. more accurate node_syntax: avoid overall_syntax for PIDE edits;
  4. tuned signature;
  5. clarified theory syntax vs. overall session syntax;
  6. unused;
  7. more informative loaded_theories: dependencies and syntax;
  8. tuned signature;
  9. tuned;
  10. tuned signature;
  11. tuned;
  12. session-qualified theory names are mandatory;
  13. discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
  14. eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
  15. Merge (resolved trivial conflict)
  16. New results for Green's theorem
Changeset 66723:18cc87e2335f by wenzelm:
merged
Changeset 66722:9c661b74ce92 by wenzelm:
unused;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66721:ae38b8c0fdd9 by wenzelm:
more accurate node_syntax: avoid overall_syntax for PIDE edits;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
Changeset 66720:b07192253605 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66719:d37efafd55b5 by wenzelm:
clarified theory syntax vs. overall session syntax;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 66718:514c4907ff0b by wenzelm:
unused;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66717:67dbf5cdc056 by wenzelm:
more informative loaded_theories: dependencies and syntax;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66716:8737b866bd1c by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66715:6bced18e2b91 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66714:9fc4e144693c by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66713:afba7ffd6492 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 66712:4c98c929a12a by wenzelm:
session-qualified theory names are mandatory;
The file was modified NEWS (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66711:80fa1401cf76 by wenzelm:
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 66710:676258a1cf01 by paulson _lp15@cam.ac.uk_:
eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
Changeset 66709:b034d2ae541c by paulson _lp15@cam.ac.uk_:
Merge (resolved trivial conflict)
Changeset 66708:015a95f15040 by paulson _lp15@cam.ac.uk_:
New results for Green's theorem
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)