Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. prefer formal name from session context, for proper qualified theory name;
  3. clarified: Map index uses canonical files;
  4. tuned signature;
  5. tuned signature;
  6. uniform use of theory base name for presentation;
  7. proper imports_base, notably for thy_deps;
  8. tuned signature;
  9. tuned;
  10. tuned GUI;
  11. obsolete;
  12. more uniform thy_deps (like class_deps), see also c48d536231fe;
  13. special theories are always global;
  14. tuned signature;
  15. tuned signature;
  16. tuned signature;
  17. more systematic treatment of polynomial 1
Changeset 65502:c05bec5d01ad by wenzelm:
merged
Changeset 65501:b42743f5b595 by wenzelm:
prefer formal name from session context, for proper qualified theory name;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
Changeset 65500:a6644e0e8728 by wenzelm:
clarified: Map index uses canonical files;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65499:fc7f03cbccbc by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65498:2af863e28204 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65497:7966bd7c6461 by wenzelm:
uniform use of theory base name for presentation;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 65496:ca8dcb2a500c by wenzelm:
proper imports_base, notably for thy_deps;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65495:60d4fbed2b1f by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65494:88e6442c3150 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65493:4729318d3fc3 by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 65492:bce2474394da by wenzelm:
obsolete;
The file was modified src/Pure/Thy/present.ML (diff)
Changeset 65491:7fb81fa1d668 by wenzelm:
more uniform thy_deps (like class_deps), see also c48d536231fe;
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Pure/Tools/thy_deps.ML (diff)
Changeset 65490:571a3ce3cc17 by wenzelm:
special theories are always global;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 65489:f3076367f4a8 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65488:331f09d9535e by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65487:7847807b07ce by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65486:d801126a14cb by haftmann:
more systematic treatment of polynomial 1
The file was modified src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial_FPS.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial_Factorial.thy (diff)