diff options
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index ef032027..6d0fb695 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -9,8 +9,8 @@ on recent Linux systems: and (main) prover versions: - Coq 8.1 - Isabelle2008 + Coq 8.1pl3 + Isabelle2009 See below for notes about other operating systems. |