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