Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. added docs for order method in Orderings; The order method is now tried by try0. This adds some documentation for users of try0 that stumble over the order method
  3. News update referring to Analysis
  4. tuned error message;
Changeset 78335:7a6a7f70fadc by lukas stevens _mail@lukas-stevens.de_:
merged;
Changeset 78334:530f8dc04d83 by lukas stevens _mail@lukas-stevens.de_:
added docs for order method in Orderings;<br><br>The order method is now tried by try0.<br>This adds some documentation for users of try0 that stumble over the order method
The file was modified src/HOL/Orderings.thy (diff)
Changeset 78333:c515bc9375b9 by paulson _lp15@cam.ac.uk_:
News update referring to Analysis
The file was modified NEWS (diff)
Changeset 78332:3b4bbc5b7c46 by fabian huch _huch@in.tum.de_:
tuned error message;
The file was modified src/Pure/General/toml.scala (diff)