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

Mode	Name	Size
-rw-r--r--	.gitignore	252	log plain
-rw-r--r--	Makefile.am	61175	log plain
-rw-r--r--	README.doc	6438	log plain
-rw-r--r--	bugseng_logo.eps	7994	log plain
-rw-r--r--	bugseng_logo.pdf	4035	log plain
-rw-r--r--	bugseng_logo.svg	4276	log plain
-rw-r--r--	definitions.dox	189086	log plain
-rw-r--r--	devref-language-interface.doxyconf.in	11204	log plain
-rw-r--r--	devref-language-interface.tex	6371	log plain
-rw-r--r--	devref.doxyconf-html.in	12134	log plain
-rw-r--r--	devref.doxyconf-latex.in	12066	log plain
-rw-r--r--	devref.tex	6247	log plain
-rw-r--r--	fdl.dox	21315	log plain
-rw-r--r--	fdl.tex	21081	log plain
-rw-r--r--	fdl.txt	20431	log plain
-rw-r--r--	gpl.dox	36580	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	7407	log plain
-rw-r--r--	libppl_c.3	6000	log plain
-rw-r--r--	ppl-config.1	4311	log plain
-rw-r--r--	ppl-config_extra_man_text	1889	log plain
-rw-r--r--	ppl.bib	161074	log plain
-rw-r--r--	ppl.sty	7919	log plain
-rw-r--r--	ppl_citations.bib	265209	log plain
-rw-r--r--	ppl_logo.eps	12276	log plain
-rw-r--r--	ppl_logo.pdf	5061	log plain
-rw-r--r--	ppl_logo.svg	7012	log plain
-rw-r--r--	ppl_logo_no_ppl.eps	11292	log plain
-rw-r--r--	ppl_logo_no_ppl.pdf	4805	log plain
-rw-r--r--	ppl_logo_no_ppl.svg	6114	log plain
-rw-r--r--	user-language-interface.doxyconf.in	11410	log plain
-rw-r--r--	user-language-interface.tex	6245	log plain
-rw-r--r--	user.doxyconf-html.in	10898	log plain
-rw-r--r--	user.doxyconf-latex.in	10870	log plain
-rw-r--r--	user.tex	6237	log plain