History log of /seL4-l4v-master/graph-refine/README.md
Revision Date Author Comments
# eab0cf14 11-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

provide doc files under CC-BY-SA-4.0


# b2ddb1f6 11-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX


# 104bb32d 08-Sep-2015 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Improve documentation and output.


# b5154945 28-Aug-2015 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Make report mode the default.

New 'verbose' restores the previous default, and it will be restored for
interactive checks in any case.


# f9e8e55b 26-Aug-2015 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Slight documentation improvement, I think.


# ea906495 24-Aug-2015 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Expand README.


# f37aa72c 19-Aug-2015 Thomas Sewell <Thomas.Sewell@nicta.com.au>

Add README; first step in importing graph-refine.

Github seems to want README.md more than it wants anything else...