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

Fri Oct 10 11:56:11 CEST 2008

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-10-10 11:56:11

Modified files:
	interfaces/Prolog: Prolog_interface.dox 

Log message:
	Typos fixed.
	The introduction to the manual revised.
	Structure/contents list for the main section improved and moved to
	earlier in the document. Links are now there to all the sections
	and subsections.
	Issues relating to compilation and installation
	have been moved, where necessary, to that section.
	Note about the stack size for GNU Prolog added.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.170&r2=1.171