Update README.md

This commit is contained in:
Gerd Heber 2015-08-04 21:06:21 -05:00
parent 8ce5dba831
commit 9e4adb575e

View File

@ -62,7 +62,7 @@ To load "kenzo":
*
```
Verify that you're good to go by loading and running the Kenzo regression test suite. For example, in an `sbcl` prompt you should see something like this:
Verify that you're good to go by loading and running the Kenzo regression test suite. For example, in an SBCL prompt you should see something like this:
```
* (ql:quickload :kenzo-test)
To load "kenzo-test":