Summary
- more documentation;
- tuned signature -- facilitate testing;
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |