History log of /seL4-l4v-master/l4v/proof/drefine/README.md
Revision Date Author Comments
# ba38ae33 22-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

update publications links

The links to nicta.com.au have stopped working, so the publication links
now point to the TS publication pages.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# c68915b9 14-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

license: provide documentation under CC-BY-SA-4.0

Datat61 provides all docs under CC-BY-SA-4.0.


# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX


# 8d12d8e4 02-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: tag .md and document file


# 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/