History log of /seL4-l4v-master/l4v/isabelle/Admin/bash_process/build
Revision Date Author Comments
# 967afcdd 25-Sep-2017 wenzelm <none@none>

basic support for x86_64-cygwin;
# 38836c65 09-Mar-2016 wenzelm <none@none>

tuned;
# 75dd30df 13-Feb-2016 wenzelm <none@none>

clarified name;

--HG--
rename : Admin/exec_process/exec_process.c => Admin/bash_process/bash_process.c
rename : Admin/exec_process/build => Admin/bash_process/build
rename : Admin/exec_process/etc/settings => Admin/bash_process/etc/settings