CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella at cs.unipr.it 2007-08-30 12:28:46 Added files: doc : user-prolog-interface.tex Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex?cvsroot=ppl&rev=1.1