Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned: more standard order;
  2. clarified signature; update component;
Changeset 78684:aa532cf1c894 by wenzelm:
tuned: more standard order;
The file was modified Admin/components/components.sha1 (diff)
Changeset 78683:cde40295ffd6 by wenzelm:
clarified signature;<br>update component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/exn.ML (diff)
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Tools/Setup/src/Exn.java (diff)