Summary
- clarified signature;
- clarified modules;
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | src/Pure/Tools/generated_files.ML (diff) |
The file was removed | src/Pure/Tools/scala_build.ML |