Summary
- tuned;
- tuned;
- clarified order: accumulate strictly from left to right;
- clarified modules;
- clarified modules;
- tuned signature;
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |