History log of /seL4-l4v-10.1.1/l4v/proof/drefine/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.
# 93375ba9 23-Jul-2014 Toby Murray <toby.murray@nicta.com.au>

Initial README.md files for proof/