Summary
- tuned signature;
- clarified signature;
- tuned;
The file was modified | src/Pure/PIDE/command_span.scala (diff) |
The file was modified | src/Pure/Isar/parse.ML (diff) |
The file was modified | src/Pure/Isar/parse.scala (diff) |
The file was modified | src/Pure/Thy/sessions.ML (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Isar/parse.scala (diff) |