Permalink
Browse files

Record a README.md dependency, and update it

  • Loading branch information...
xrchz committed Oct 7, 2017
1 parent 0488bcf commit 6742cb8ee021a81fd64d3cbf342c48946952b9f3
Showing with 2 additions and 3 deletions.
  1. +1 −1 Holmakefile
  2. +1 −2 README.md
View
@@ -1,7 +1,7 @@
INCLUDES = developers compiler/bootstrap/compilation/x64/proofs compiler/benchmarks
OPTIONS = QUIT_ON_FAILURE
README_SOURCES = COPYING developers build-instructions.sh
README_SOURCES = COPYING developers examples build-instructions.sh
all: README.md cake
.PHONY: all benchmarks
View
@@ -51,8 +51,7 @@ running regression tests.
Work-in-progress documentation regarding the CakeML language.
[examples](examples):
Examples of verified programs built using CakeML infrastructure
================================================================
Examples of verified programs built using CakeML infrastructure.
[misc](misc):
Auxiliary files providing glue between a standard HOL installation

0 comments on commit 6742cb8

Please sign in to comment.