/doc/

• ../
• Makefile.am
• Makefile.in
• README.doc
• definitions.dox
• devref-language-interface.doxyconf.in
• devref-language-interface.tex
• devref.doxyconf-html.in
• devref.doxyconf-latex.in
• devref.tex
• fdl.dox
• fdl.pdf
• fdl.ps.gz
• fdl.tex
• fdl.txt
• gpl.dox
• gpl.pdf
• gpl.ps.gz
• gpl.tex
• gpl.txt
• interfaces-html.sed
• interfaces-latex.sed
• libppl.3
• libppl_c.3
• ppl-config.1
• ppl-user-0.11.2-html.tar.gz
• ppl-user-0.11.2.pdf
• ppl-user-0.11.2.ps.gz
• ppl-user-c-interface-0.11.2-html.tar.gz
• ppl-user-c-interface-0.11.2.pdf
• ppl-user-c-interface-0.11.2.ps.gz
• ppl-user-java-interface-0.11.2-html.tar.gz
• ppl-user-java-interface-0.11.2.pdf
• ppl-user-java-interface-0.11.2.ps.gz
• ppl-user-ocaml-interface-0.11.2-html.tar.gz
• ppl-user-ocaml-interface-0.11.2.pdf
• ppl-user-ocaml-interface-0.11.2.ps.gz
• ppl-user-prolog-interface-0.11.2-html.tar.gz
• ppl-user-prolog-interface-0.11.2.pdf
• ppl-user-prolog-interface-0.11.2.ps.gz
• ppl.sty
• user-language-interface.doxyconf.in
• user-language-interface.tex
• user.doxyconf-html.in
• user.doxyconf-latex.in
• user.tex