P LNFhets-desktop	Heterogeneous Tool Set - desktop
P LNFhets-provers	Heterogeneous Tool Set - provers
P LNFtl-latex	TeXLive LaTeX fundamentals
P LNFtl-fonts	TeXLive recommended fonts
P LNFtl-utils	TeXLive misc. utilities and macros
P LNFpellet	OWL DL reasoner Pellet
P LNFprotege4	Protege 4 Desktop