Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned whitespace;
  2. tuned signature;
  3. more accurate qualified lookup; tuned;
  4. clarified fall-back name;
  5. tuned signature;
  6. tuned whitespace;
  7. clarified modules;
  8. clarified checks -- avoid duplicated messages (amending 60c159d490a2);
  9. proper default (amending 601866c61ded);
Changeset 65410:44253ed65acd by wenzelm:
tuned whitespace;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65409:ad9e2c1665b6 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65408:c728f922f657 by wenzelm:
more accurate qualified lookup;<br>tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 65407:4546272431e9 by wenzelm:
clarified fall-back name;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 65406:cc9e2f1f279d by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65405:68f8a0dab28b by wenzelm:
tuned whitespace;
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 65404:2b819faf45e9 by wenzelm:
clarified modules;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 65403:4a042bf9488e by wenzelm:
clarified checks -- avoid duplicated messages (amending 60c159d490a2);
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 65402:37d3657e8513 by wenzelm:
proper default (amending 601866c61ded);
The file was modified src/Pure/General/position.scala (diff)