| #
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
|
| #
f0faa90f |
|
17-Apr-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
lib/spec/proof/tools: fix word change fallout
|
| #
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.
|
| #
4326d30c |
|
22-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
the other README files for spec/
|