History log of /seL4-l4v-10.1.1/l4v/proof/capDL-api/README.md
Revision Date Author Comments
# 0fb7a808 27-Jul-2014 David Greenaway <david.greenaway@nicta.com.au>

misc: Proofing and formatting of README.md files.

Attempt to improve readability of the files when viewed as plain ASCII;
proof-read and fix minor issues.
# 63c6ef27 25-Jul-2014 Andrew Boyton <andrew.boyton@nicta.com.au>

Updated READMEs for capDL-api and sep-capDL, and added one for sys-init.
# 35b60997 24-Jul-2014 Toby Murray <toby.murray@nicta.com.au>

remaining README.md for proof/