[PPL-devel] [GIT] ppl/ppl(master): Typo fixed: we require SICStus at least version 3.9. 1.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Feb 17 17:42:37 CET 2010
Module: ppl/ppl
Branch: master
Commit: 1e6df802e280f0c1df33b864037544c02757d08e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280f0c1df33b864037544c02757d08e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 17:41:50 2010 +0100
Typo fixed: we require SICStus at least version 3.9.1.
---
interfaces/Prolog/Prolog_interface.dox | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox
index 58f550e..dd147ad 100644
--- a/interfaces/Prolog/Prolog_interface.dox
+++ b/interfaces/Prolog/Prolog_interface.dox
@@ -1732,7 +1732,7 @@ Manual</A>
The SICStus Prolog interface to the PPL is available
both as a statically linked module or as a dynamically linked one.
-Only SICStus Prolog versions 3.9.0 and later are supported.
+Only SICStus Prolog versions 3.9.1 and later are supported.
<H3>The Statically Linked <CODE>ppl_sicstus</CODE> Executable</H3>
More information about the PPL-devel
mailing list