Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. removed obsolete RC tags;
  3. Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
  4. tuned;
  5. proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;
  6. Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52
  7. notes on whitespace;
  8. avoid spurious messages -- potential cause of problems for "meson";
  9. avoid spurious messages;
Changeset 64555:628b271c5b8b by wenzelm:
merged
Changeset 64554:5d2cef77373c by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 64553:dbef42baa925 by wenzelm:
Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
The file was modified .hgtags (diff)
Changeset 64552:7aa3c52f27aa by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 64551:79e9587dbcca by wenzelm:
proper session HOL-Types_To_Sets;<br>NEWS;<br>CONTRIBUTORS;<br>tuned whitespace;
The file was addedsrc/HOL/Types_To_Sets/Examples/Finite.thy
The file was addedsrc/HOL/Types_To_Sets/Examples/Prerequisites.thy
The file was addedsrc/HOL/Types_To_Sets/Examples/T2_Spaces.thy
The file was addedsrc/HOL/Types_To_Sets/Types_To_Sets.thy
The file was addedsrc/HOL/Types_To_Sets/internalize_sort.ML
The file was addedsrc/HOL/Types_To_Sets/local_typedef.ML
The file was addedsrc/HOL/Types_To_Sets/unoverloading.ML
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/Types_To_Sets.thy
The file was removedsrc/HOL/Library/Types_To_Sets/internalize_sort.ML
The file was removedsrc/HOL/Library/Types_To_Sets/local_typedef.ML
The file was removedsrc/HOL/Library/Types_To_Sets/unoverloading.ML
Changeset 64550:3e20defb1e3c by wenzelm:
Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52
The file was modified .hgtags (diff)
Changeset 64549:964ac7439a52 by wenzelm:
notes on whitespace;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 64548:8b187a7a9776 by wenzelm:
avoid spurious messages -- potential cause of problems for &quot;meson&quot;;
The file was modified src/Tools/misc_legacy.ML (diff)
Changeset 64547:a955511171a8 by wenzelm:
avoid spurious messages;
The file was modified src/HOL/Decision_Procs/approximation.ML (diff)