- Timestamp:
- 05/18/08 05:45:28 (5 months ago)
- Location:
- trunk
- Files:
-
- 7 modified
-
configs/yap.config (modified) (2 diffs)
-
RELEASE_NOTES.txt (modified) (1 diff)
-
scripts/debian/postinst (modified) (1 diff)
-
scripts/install.sh (modified) (1 diff)
-
scripts/linux/logtalk.spec (modified) (1 diff)
-
scripts/macosx/Portfile (modified) (1 diff)
-
scripts/windows/logtalk.iss (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/yap.config
r4264 r4266 4 4 % Release 2.31.6 5 5 % 6 % configuration file for YAP Prolog 5.1. 2and later versions7 % 8 % last updated: May 1 5, 20086 % configuration file for YAP Prolog 5.1.3 and later versions 7 % 8 % last updated: May 18, 2008 9 9 % 10 10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 111 111 % forall(+callable, +callble) -- built-in 112 112 113 :- if(\+ predicate_property(forall(_, _), built_in)).114 forall(Generate, Test) :-115 \+ (call(Generate), \+ call(Test)).116 :- endif.117 118 113 119 114 % retractall(+callable) -- built-in -
trunk/RELEASE_NOTES.txt
r4264 r4266 13 13 2.31.6 - May ??, 2008 14 14 15 Updated the YAP config file to check the availability of the built-in 16 predicate forall/2. Added support for the proprietary if/1, else/0, 15 Removed from the YAP config file the definition of the forall/2 16 predicate, which have been added as a built-in predicate in YAP 17 version 5.1.3. Added support for the proprietary if/1, else/0, 17 18 elif/1, and endif/0 directives. 18 19 -
trunk/scripts/debian/postinst
r4265 r4266 50 50 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 51 51 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 52 echo "* YAP (version 5.1. 2or later): yaplgt"52 echo "* YAP (version 5.1.3 or later): yaplgt" 53 53 echo 54 54 echo "The Prolog integration scripts can be found on \"/usr/bin\"." -
trunk/scripts/install.sh
r4265 r4266 94 94 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 95 95 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 96 echo "* YAP (version 5.1. 2or later): yaplgt"96 echo "* YAP (version 5.1.3 or later): yaplgt" 97 97 echo 98 98 echo "The Prolog integration scripts can be found on \"$prefix/bin\"." -
trunk/scripts/linux/logtalk.spec
r4265 r4266 146 146 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 147 147 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 148 echo "* YAP (version 5.1. 2or later): yaplgt"148 echo "* YAP (version 5.1.3 or later): yaplgt" 149 149 echo 150 150 echo "The Prolog integration scripts can be found on \"$RPM_INSTALL_PREFIX/bin\"." -
trunk/scripts/macosx/Portfile
r4265 r4266 64 64 ui_msg "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 65 65 ui_msg "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 66 ui_msg "* YAP (version 5.1. 2or later): yaplgt"66 ui_msg "* YAP (version 5.1.3 or later): yaplgt" 67 67 ui_msg "*" 68 68 ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" -
trunk/scripts/windows/logtalk.iss
r4265 r4266 60 60 Name: "prolog\swi"; Description: "SWI-Prolog integration (version 5.6.43 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 61 61 Name: "prolog\xsb"; Description: "XSB integration (version 3.1 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 62 Name: "prolog\yap"; Description: "YAP integration (version 5.1. 2or later)"; Types: full prolog custom; Flags: disablenouninstallwarning62 Name: "prolog\yap"; Description: "YAP integration (version 5.1.3 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 63 63 64 64 [Tasks]
