History log of /seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/ToyList/ToyList2.txt
Revision Date Author Comments
# aff4c530 24-May-2014 wenzelm <none@none>

more portable file names;

--HG--
rename : src/Doc/Tutorial/ToyList/ToyList1 => src/Doc/Tutorial/ToyList/ToyList1.txt
rename : src/Doc/Tutorial/ToyList/ToyList2 => src/Doc/Tutorial/ToyList/ToyList2.txt