Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations;
  2. merged;
  3. print name in parsable form;
  4. clarified bootstrap;
Changeset 63642:d83a1eeff9d2 by wenzelm:
more operations;
The file was modified src/Pure/General/url.scala (diff)
Changeset 63641:7205aaf670ad by wenzelm:
merged;
Changeset 63640:c273583f0203 by wenzelm:
print name in parsable form;
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
Changeset 63639:4302f86920fe by wenzelm:
clarified bootstrap;
The file was modified src/Pure/ROOT.ML (diff)