Summary
- more permissive: avoid situations where query is silently ignored;
- more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
- always start with fresh clone (with explicitly given rev): more robust on Windows;
- reverted 94cad7590015: does not help much on Windows;
- tuned signature;
The file was modified | src/Pure/PIDE/query_operation.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |