GPP
is an abbreviation of the
Generic Pretty Printer
package.
Revision: r1.2 - 09 Feb 2004 - 12:41 -
MartinBravenboer
Tools
>
GPP
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback