Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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;
Changeset 71626:4c8edd527940 by wenzelm:
merged
Changeset 71625:189f17479275 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala
Changeset 71624:f0499449e149 by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/PIDE/protocol.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Tools/build.scala
Changeset 71623:b3bddebe44ca by wenzelm:
clarified signature: more explicit type Protocol_Message.Marker;
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/PIDE/protocol_message.scala
The file was modified src/Pure/Tools/build.scala
Changeset 71622:ab5009192ebb by wenzelm:
tuned signature -- follow Scala;
The file was modified src/Pure/PIDE/protocol_message.ML
The file was modified src/Pure/Thy/export.ML
The file was modified src/Pure/Tools/build.ML
Changeset 71621:281591ab169b by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala
Changeset 71620:5a4ccef7f310 by wenzelm:
more explicit type Protocol_Message.Marker;<br>tuned;
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/jenkins.scala
The file was modified src/Pure/PIDE/protocol_message.scala
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
The file was modified src/Pure/Thy/export.ML
The file was modified src/Pure/Tools/build.ML
Changeset 71618:1b8861bcb03c by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.ML
Changeset 71617:01166f13c2c0 by wenzelm:
tuned whitespace;
The file was modified src/Pure/General/output_primitives.ML