Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
Changeset 67449:1caeb087d957 by wenzelm:
tuned signature;
The file was modified src/Pure/General/comment.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)