Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- clarified signature;
- clarified signature: more explicit types;
The file was modified | src/Pure/System/progress.scala |
The file was modified | src/Pure/Thy/document_build.scala |
The file was modified | src/Pure/General/ssh.scala |
The file was modified | src/Pure/System/bash.scala |
The file was modified | src/Pure/System/isabelle_system.scala |
The file was modified | src/Pure/System/progress.scala |