Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. merged
  3. clarified chapters: de-emphasize minor examples;
  4. tuned signature;
  5. clarified signature;
  6. produce root index based on sessions_structure.chapter_defs; disregard lib/html/library_index_content.template (NB: still needed for Isabelle website);
  7. provide chapter descriptions, based on lib/html/library_index_content.template;
  8. more robust: proper system_name;
  9. support 'chapter_definition' with description for presentation purposes;
  10. tuned whitespace;
  11. tuned signature;
  12. removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
  13. more aggressive clean_directory(session_dir), while rm_tree is guarded by check_directory, i.e. it is presumably "owned" by Browser_Info.build_session();
  14. clarified signature;
  15. tuned signature;
  16. clarified signature;
  17. tuned whitespace;
  18. more robust: ensure that chapter/session/theory do not contain special notation (like "/" or "..");
  19. merged
  20. NEWS about Sum_of_Powers
  21. Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html
Changeset 75994:f0ea03be7ceb by wenzelm:
tuned output;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75993:8f1bb89ddf4b by wenzelm:
merged
Changeset 75992:1f6d79b62222 by wenzelm:
clarified chapters: de-emphasize minor examples;
The file was modified ROOT (diff)
The file was modified lib/html/library_index_content.template (diff)
The file was modified src/CCL/ROOT (diff)
The file was modified src/CTT/ROOT (diff)
The file was modified src/Cube/ROOT (diff)
The file was modified src/FOLP/ROOT (diff)
The file was modified src/LCF/ROOT (diff)
The file was modified src/Sequents/ROOT (diff)
The file was modified src/Tools/ROOT (diff)
Changeset 75991:0dbf2b2c04f4 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75990:aaa0148e7c8f by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75989:46c6f649a943 by wenzelm:
produce root index based on sessions_structure.chapter_defs;<br>disregard lib/html/library_index_content.template (NB: still needed for Isabelle website);
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75988:ca73ced9e630 by wenzelm:
provide chapter descriptions, based on lib/html/library_index_content.template;
The file was addedROOT
Changeset 75987:ff2e67d73592 by wenzelm:
more robust: proper system_name;
The file was modified src/Pure/Isar/parse.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75986:27d98da31985 by wenzelm:
support &#039;chapter_definition&#039; with description for presentation purposes;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75985:ce892601d775 by wenzelm:
tuned whitespace;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 75984:75b65c1f7a1f by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75983:34dd96a06c45 by wenzelm:
removed unused &quot;def_theory&quot; markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
The file was modified src/Pure/General/name_space.ML (diff)
The file was modified src/Pure/General/position.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
Changeset 75982:2fff9ce6b460 by wenzelm:
more aggressive clean_directory(session_dir), while rm_tree is guarded by check_directory, i.e. it is presumably &quot;owned&quot; by Browser_Info.build_session();
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75981:a1b131d5575f by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75980:232beef27a17 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75979:29d813c431bb by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75978:0b4944b25b9d by wenzelm:
tuned whitespace;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75977:59aa034220bf by wenzelm:
more robust: ensure that chapter/session/theory do not contain special notation (like &quot;/&quot; or &quot;..&quot;);
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75976:c8d9fbe2dedd by paulson:
merged
Changeset 75975:44e0ba464e08 by paulson _lp15@cam.ac.uk_:
NEWS about Sum_of_Powers
The file was modified NEWS (diff)
Changeset 75974:c2dc1102b776 by paulson _lp15@cam.ac.uk_:
Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/Sum_of_Powers.thy