Summary
- tuned: avoid ambiguity in scala3;
- clarified signature: avoid ambiguity in scala3;
- clarified signature: avoid ambiguity in scala3;
- more robust types (for scala3);
- tuned for scala3;
- proper indentation (relevant for scala3);
The file was modified | src/Pure/Thy/thy_header.scala (diff) |
The file was modified | src/Pure/General/json.scala (diff) |
The file was modified | src/Pure/PIDE/headless.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/General/json.scala (diff) |
The file was modified | src/Pure/Isar/parse.scala (diff) |
The file was modified | src/Pure/System/options.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/thy_element.scala (diff) |
The file was modified | src/Pure/Thy/thy_header.scala (diff) |
The file was modified | src/Pure/Tools/check_keywords.scala (diff) |
The file was modified | src/Tools/jEdit/src/query_dockable.scala (diff) |
The file was modified | src/Pure/General/json_api.scala (diff) |
The file was modified | src/Tools/Graphview/layout.scala (diff) |
The file was modified | src/Tools/jEdit/src/symbols_dockable.scala (diff) |