Cross Reference: /seL4-l4v-10.1.1/l4v/isabelle/Admin/bash

History log of /seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/etc/settings
Revision		Date	Author	Comments
# 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