Skip to content
This repository has been archived by the owner on Aug 8, 2020. It is now read-only.

Commit

Permalink
Update generated README
Browse files Browse the repository at this point in the history 
Should have been done in 8071080
  • Loading branch information
@xrchz
xrchz committed Feb 14, 2017
1 parent 40c9759 commit fe4074c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ Contains the beginnings of a standard basis library for CakeML,
similar to the standard basis library of SML.

[build-instructions.sh](build-instructions.sh):
This script installs Poly/ML, HOL and CakeML.
This file describes how to install Poly/ML, HOL and CakeML.

[candle](candle):
Verification of a HOL theorem prover, based on HOL Light
Expand Down

0 comments on commit fe4074c

Please sign in to comment.