Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more documentation;
  3. override existing action, to retain menu item;
  4. HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
  5. HOL-Library: Changed notation for sum_mset
  6. tuned;
  7. proper thread position for reports;
  8. tuned signature;
  9. misc tuning and clarification;
  10. tuned signature;
  11. tuned;
Changeset 73051:6ba08ec184a1 by wenzelm:
merged
Changeset 73050:d77bb4441250 by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 73049:bef32cb5d26b by wenzelm:
override existing action, to retain menu item;
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 73048:7ad9f197ca7e by manuel eberl _eberlm@in.tum.de_:
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
The file was modified src/HOL/Complex_Analysis/Residue_Theorem.thy (diff)
Changeset 73047:ab9e27da0e85 by manuel eberl _eberlm@in.tum.de_:
HOL-Library: Changed notation for sum_mset
The file was modified NEWS (diff)
The file was modified src/HOL/Computational_Algebra/Primes.thy (diff)
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 73046:32edc2b4e243 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 73045:1edf30bc1008 by wenzelm:
proper thread position for reports;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 73044:e7855739409e by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 73043:759b6869377d by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73042:22f5a6283477 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 73041:66b45c3389d3 by wenzelm:
tuned;
The file was modified src/Pure/Thy/presentation.scala (diff)