Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations, thanks to Jsoup;
  2. discontinued apache-commons in favour of jsoup, which is smaller and more useful;
  3. more accurate shasum_meta_info;
  4. tuned signature;
  5. support "isabelle options -l -t TAGS";
  6. NEWS;
  7. clarified signature;
  8. tuned;
  9. avoid hard-wired stuff (see also 78f2475aa126);
  10. clarified tags;
  11. clarified session prefs (or "options" within the database);
  12. tuned signature;
  13. tuned comments;
  14. unused (see 268bf61631ec);
  15. clarified exported options;
  16. clarified signature;
  17. do not export connection details (password etc.);
  18. support option tags;
Changeset 77620:58576816d304 by wenzelm:
more operations, thanks to Jsoup;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 77619:6d0985955872 by wenzelm:
discontinued apache-commons in favour of jsoup, which is smaller and more useful;
The file was addedsrc/Pure/Admin/component_jsoup.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 77618:0212956aaf73 by wenzelm:
more accurate shasum_meta_info;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 77617:58b7f3fb73cb by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
Changeset 77616:29effd67d8a8 by wenzelm:
support "isabelle options -l -t TAGS";
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/options.scala (diff)
Changeset 77615:faaa3e311281 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 77614:b619d80f61fa by wenzelm:
clarified signature;
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 77613:44f7b76d1106 by wenzelm:
tuned;
The file was modified src/Pure/System/options.scala (diff)
Changeset 77612:3e235fab64db by wenzelm:
avoid hard-wired stuff (see also 78f2475aa126);
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
Changeset 77611:606ac3fae270 by wenzelm:
clarified tags;
The file was modified src/Pure/System/options.scala (diff)
Changeset 77610:3b09ae9e40cb by wenzelm:
clarified session prefs (or "options" within the database);
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77609:a45cce93529c by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77608:eaa6b47fab2c by wenzelm:
tuned comments;
The file was modified src/Pure/System/options.scala (diff)
Changeset 77607:8c64e51d9dde by wenzelm:
unused (see 268bf61631ec);
The file was modified src/Pure/System/options.scala (diff)
Changeset 77606:b0a4f8c29446 by wenzelm:
clarified exported options;
The file was modified etc/options (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77605:bc1248c5d159 by wenzelm:
clarified signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
Changeset 77604:b4ef44ce08ed by wenzelm:
do not export connection details (password etc.);
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77603:236e43c8bb5b by wenzelm:
support option tags;
The file was modified Admin/etc/options (diff)
The file was modified etc/options (diff)
The file was modified src/Pure/System/options.scala (diff)