Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more data integrity: name vs. address;
  3. misc tuning and clarification;
  4. clarified name;
  5. more mailing list content;
  6. more mailing list content;
  7. updated links;
  8. added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
  9. tuned ATP to use map_index
Changeset 74926:5cd2e6e17e6f by wenzelm:
merged
Changeset 74925:4bc306cb2832 by wenzelm:
more data integrity: name vs. address;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74924:af954161e1cd by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74923:e0070487b635 by wenzelm:
clarified name;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74922:15404e37c127 by wenzelm:
more mailing list content;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74921:74655fd58f8e by wenzelm:
more mailing list content;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mailman.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 74920:9a2958ec9e08 by wenzelm:
updated links;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
Changeset 74919:115a47a103aa by wenzelm:
added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74918:68a0f9a8561d by desharna:
tuned ATP to use map_index
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)