Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more documentation;
  2. tuned signature -- facilitate testing;
Changeset 68477:f090b313fdc8 by wenzelm:
more documentation;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 68476:1be1b7620a42 by wenzelm:
tuned signature -- facilitate testing;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)