History log of /seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/setup_server
Revision Date Author Comments
# e302cab0 24-May-2018 wenzelm <none@none>

setup server directory for Cygwin quasi-mirror;