Commit a6021279 authored by Jens Claßen's avatar Jens Claßen
Browse files

Updated README to reflect usage of most recent version of SWI-Prolog.

parent cec0df01
......@@ -169,7 +169,7 @@ The code is divided into the following subdirectories:
## Dependencies
Vergo uses SWI-Prolog (currently version 7.6.4). Furthermore, there
Vergo uses SWI-Prolog (currently version 8.3.8). Furthermore, there
are the following dependencies to external tools and systems:
1. **Theorem Prover** (required)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment