Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. obsolete;
  3. clarified signature;
  4. more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
  5. more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
  6. merged
  7. proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
  8. dedicated examples for sorting
  9. more direct implementations of comparators
  10. generic merge sort
Changeset 69259:438e1a11445f by wenzelm:
tuned;
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
Changeset 69258:e05c9f314f90 by wenzelm:
obsolete;
The file was modified src/Pure/build-jars (diff)
Changeset 69257:039edba27102 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
Changeset 69256:c78c95d2a3d1 by wenzelm:
more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 69255:800b1ce96fce by wenzelm:
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
The file was addedsrc/Pure/Thy/file_format.scala
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/document_status.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.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/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 69254:9f8d26b8c731 by wenzelm:
merged
Changeset 69253:8bfa615ddde4 by wenzelm:
proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69252:fc359b60121c by haftmann:
dedicated examples for sorting
The file was addedsrc/HOL/ex/Sorting_Algorithms_Examples.thy
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 69251:d240598e8637 by haftmann:
more direct implementations of comparators
The file was modified src/HOL/Library/Comparator.thy (diff)
Changeset 69250:1011f0b46af7 by haftmann:
generic merge sort
The file was modified src/HOL/Library/Sorting_Algorithms.thy (diff)