History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Datatypes/document/build
Revision Date Author Comments
# b92e784f 10-Apr-2014 wenzelm <none@none>

more formal dependencies via 'document_files';
# 08e4590c 10-Sep-2013 wenzelm <none@none>

more portable hash-bang;
# 0d770f06 30-Jul-2013 blanchet <none@none>

sketched documentation for new (co)datatype package