*Name* pptable-diff *Synopsis* pptable-diff [--patch] [--prune] [-o output] [--new <table>] --old <table> *Description* This program writes to standard error a list of pretty-print rules that are contained in pretty-print table "old" but not in "new" and, vice versa. Optionally, this tool patches the pretty-print table "old" by adding new and/or removing obsolete pretty-print entries. *Options* -h: display usage information. Use this option to get information on additional options. --new <table>: New pretty-print table. Typically, this is a pretty-print table recently generated by [[PrettyPrintTableGenerator][ppgen]]. If missing, standard input is used to read a table from. --old <table>: Old pretty-print table. Typically, this is a (manually) customized pretty-print table. --patch: Bring old table up-to-date. If this switch is specified, the table "old" is updated by adding pretty-print rules that are in "new" but not in "old". --prune: Remove obsolete pretty-print entries. If this switch is specified, the table "old" is returned after removing obsolete pretty-print entries (i.e., entries that are not contained in "new"). *See also* GenericPrettyPrinter, HowToPrettyPrintAGrammar, HowToDefinePrettyPrintTables, PrettyPrintTables, BoxLanguage, PrettyPrintTableGenerator -- Main.MerijnDeJonge - 10 Feb 2004