Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. clarified modules;
  4. clarified signature: more explicit type Protocol_Message.Marker;
  5. tuned signature -- follow Scala;
  6. tuned;
  7. more explicit type Protocol_Message.Marker; tuned;
  8. clarified protocol messages: explicitly use physical_writeln, always encode_lines;
  9. tuned;
  10. tuned whitespace;
  11. more tidying up of old apply-proofs
Changeset 71626:4c8edd527940 by wenzelm:
merged
Changeset 71625:189f17479275 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71624:f0499449e149 by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71623:b3bddebe44ca by wenzelm:
clarified signature: more explicit type Protocol_Message.Marker;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol_message.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71622:ab5009192ebb by wenzelm:
tuned signature -- follow Scala;
The file was modified src/Pure/PIDE/protocol_message.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 71621:281591ab169b by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 71620:5a4ccef7f310 by wenzelm:
more explicit type Protocol_Message.Marker;<br>tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/PIDE/protocol_message.scala (diff)
Changeset 71619:e33f6e5f86b6 by wenzelm:
clarified protocol messages: explicitly use physical_writeln, always encode_lines;
The file was modified src/Pure/PIDE/protocol_message.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 71618:1b8861bcb03c by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 71617:01166f13c2c0 by wenzelm:
tuned whitespace;
The file was modified src/Pure/General/output_primitives.ML (diff)
Changeset 71616:a9de39608b1a by paulson _lp15@cam.ac.uk_:
more tidying up of old apply-proofs
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Map.thy (diff)