History log of /seL4-l4v-master/l4v/isabelle/Admin/Release/isasync
Revision Date Author Comments
# c753208e 05-Jul-2012 wenzelm <none@none>

more explicit directory structure Admin/Release/;
updated to Admin/components;

--HG--
rename : Admin/CHECKLIST => Admin/Release/CHECKLIST
rename : Admin/isasync => Admin/Release/isasync
rename : Admin/makebin => Admin/Release/makebin
rename : Admin/makebundle => Admin/Release/makebundle
rename : Admin/makedist => Admin/Release/makedist
rename : Admin/mirror-website => Admin/Release/mirror-website