doc - platform/upstream/ppl - Domain: System / Base; Licenses: GPL-3.0;

Mode	Name	Size
-rw-r--r--	Makefile.am	57795	log plain
-rw-r--r--	Makefile.in	94267	log plain
-rw-r--r--	README.doc	6428	log plain
-rw-r--r--	definitions.dox	179289	log plain
-rw-r--r--	devref-language-interface.doxyconf.in	9819	log plain
-rw-r--r--	devref-language-interface.tex	5328	log plain
-rw-r--r--	devref.doxyconf-html.in	25078	log plain
-rw-r--r--	devref.doxyconf-latex.in	25047	log plain
-rw-r--r--	devref.tex	5311	log plain
-rw-r--r--	fdl.dox	21315	log plain
-rw-r--r--	fdl.pdf	82013	log plain
-rw-r--r--	fdl.ps.gz	92837	log plain
-rw-r--r--	fdl.tex	21081	log plain
-rw-r--r--	fdl.txt	20403	log plain
-rw-r--r--	gpl.dox	36580	log plain
-rw-r--r--	gpl.pdf	75252	log plain
-rw-r--r--	gpl.ps.gz	86669	log plain
-rw-r--r--	gpl.tex	35586	log plain
-rw-r--r--	gpl.txt	35147	log plain
-rw-r--r--	interfaces-html.sed	186	log plain
-rw-r--r--	interfaces-latex.sed	140	log plain
-rw-r--r--	libppl.3	7395	log plain
-rw-r--r--	libppl_c.3	5995	log plain
-rw-r--r--	ppl-config.1	4281	log plain
-rw-r--r--	ppl-user-0.11.2-html.tar.gz	965218	log plain
-rw-r--r--	ppl-user-0.11.2.pdf	4027090	log plain
-rw-r--r--	ppl-user-0.11.2.ps.gz	1508103	log plain
-rw-r--r--	ppl-user-c-interface-0.11.2-html.tar.gz	196786	log plain
-rw-r--r--	ppl-user-c-interface-0.11.2.pdf	1101556	log plain
-rw-r--r--	ppl-user-c-interface-0.11.2.ps.gz	451558	log plain
-rw-r--r--	ppl-user-java-interface-0.11.2-html.tar.gz	188121	log plain
-rw-r--r--	ppl-user-java-interface-0.11.2.pdf	1030456	log plain
-rw-r--r--	ppl-user-java-interface-0.11.2.ps.gz	474147	log plain
-rw-r--r--	ppl-user-ocaml-interface-0.11.2-html.tar.gz	75622	log plain
-rw-r--r--	ppl-user-ocaml-interface-0.11.2.pdf	319287	log plain
-rw-r--r--	ppl-user-ocaml-interface-0.11.2.ps.gz	262936	log plain
-rw-r--r--	ppl-user-prolog-interface-0.11.2-html.tar.gz	75259	log plain
-rw-r--r--	ppl-user-prolog-interface-0.11.2.pdf	318479	log plain
-rw-r--r--	ppl-user-prolog-interface-0.11.2.ps.gz	294449	log plain
-rw-r--r--	ppl.sty	7914	log plain
-rw-r--r--	user-language-interface.doxyconf.in	10074	log plain
-rw-r--r--	user-language-interface.tex	5313	log plain
-rw-r--r--	user.doxyconf-html.in	9562	log plain
-rw-r--r--	user.doxyconf-latex.in	9534	log plain
-rw-r--r--	user.tex	5296	log plain