[PPL-devel] ppl ./TODO interfaces/Prolog/Prolog_interface.dox

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-12-05 07:31:45

Modified files:
	.              : TODO 
	interfaces/Prolog: Prolog_interface.dox 

Log message:
	We now explain to the GNU Prolog user that GNU Prolog must be configured
	using the `--disable-regs' option, if it has to work with _any_ foreign
	code (not just the PPL).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.114&r2=1.115
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.116&r2=1.117