CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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_inter...