CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-08-25 22:18:23 Modified files: . : TODO interfaces/Prolog/SWI: README.swiprolog Log message: In the SWI-Prolog documentation, the command to dynamically load the library has been modified so as to specify the `.so' extension: this seems to be required under Mac OS X and seems not to do any harm under GNU/Linux. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.251... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.s...