Modified pvs-output-filter to only add a \n for err case.
Only do json things in GNU Emacs - XEmacs doesn't have these by default
Modified default face attributes
Only do json things in GNU Emacs - XEmacs doesn't have these by default
Minor fix
Minor fix
Minor fix for using *ppcase*
Minor fix
Minor fix
Merge branch 'master' of github.com:samowre/PVS
Took out debugging code
Minor fix
A few bug fixes
Undid an earlier merge
Took out debugging code
Modified add-psinfo and calls to it to use ps-json computed just once
Merge branch 'master' of https://github.com/samowre/PVS
Wiring the commentary information to the GUI