History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/remote_dmg.scala
Revision Date Author Comments
# 6969fa0c 13-Mar-2018 wenzelm <none@none>

tuned;
# e8f67707 13-Nov-2017 wenzelm <none@none>

tuned signature;
# 32a86be5 27-Apr-2017 wenzelm <none@none>

clarified treatment of default port;
# 61f649e7 18-Oct-2016 wenzelm <none@none>

clarified modules;
# 720cd01e 16-Oct-2016 wenzelm <none@none>

tuned signature;
# 7d8bb68c 16-Oct-2016 wenzelm <none@none>

simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
# 6f28c7a1 15-Oct-2016 wenzelm <none@none>

clarified signature: more static types;
# 7bd7db96 13-Oct-2016 wenzelm <none@none>

tuned;
# f0d3c916 12-Oct-2016 wenzelm <none@none>

explicit indication of Admin tools;

--HG--
rename : src/Pure/Tools/build_doc.scala => src/Pure/Admin/build_doc.scala
rename : src/Pure/Tools/build_stats.scala => src/Pure/Admin/build_stats.scala
rename : src/Pure/Tools/check_sources.scala => src/Pure/Admin/check_sources.scala
rename : src/Pure/Tools/remote_dmg.scala => src/Pure/Admin/remote_dmg.scala