Skip to content
Success

Changes

Summary

  1. ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);
  2. include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
  3. proper chapter_definition to prevent odd definitions by users;
  4. tuned;
  5. tuned signature;
  6. proper order;
  7. tuned whitespace for presentation;
  8. clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions); clarified browser_info root index: preserve declaration order as much as possible;
  9. clarified syntax: more uniform;
  10. more robust, more strict;
  11. tuned signature;
  12. tuned;
Changeset 76006:c9d56340b56e by wenzelm:
ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);
The file was modified ROOT (diff)
The file was modified src/ZF/ROOT (diff)
Changeset 76005:a9bbf075f431 by wenzelm:
include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76004:152c5c83c119 by wenzelm:
proper chapter_definition to prevent odd definitions by users;
The file was modified ROOT (diff)
Changeset 76003:a84e9594ec7e by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 76002:64b05dc56656 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 76001:7032b0886f9a by wenzelm:
proper order;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76000:586cad415e2f by wenzelm:
tuned whitespace for presentation;
The file was modified ROOT (diff)
Changeset 75999:b831a0bdd751 by wenzelm:
clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions);<br>clarified browser_info root index: preserve declaration order as much as possible;
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 75998:c36e5c6f3069 by wenzelm:
clarified syntax: more uniform;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75997:90ff9ed0cd75 by wenzelm:
more robust, more strict;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75996:633f74e679f5 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75995:627a08637c35 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)