Added symbol-equal
Added unicode operators to set-type* (application),
change-application-class-if-needed, change-to-infix-propositional-class,
set-conditional-arg-types, change-to-propositional-class
Modified install-rewrites to use symbol-equal instead of string=, as defs may
not be a symbol or string.
Modified split-rewrite* to use symbol-equal rather than eq in checking for rl
Added print-object (defrule-entry) to print something useful
Added support for prover commentary, used to support proofstate GUIs
Added pp-with-view
Added names-info-proof-formula to allow tooltips in proofstate GUIs
Changed view-node to use place instead of range
Modified tccs-formula* to use tccs-formula* instead of tccs-formula__, which
takes the wrong number of args
Added support for displaying proofstates
Moved font-lock settings to pvs-mode.el, and modified tootips functions to
handle proofstates
Moved font-lock settings from pvs-menu.el, and added PVS-TeX input method
Added primarily to get rid of annoying _ behavior.
Modified to check if Proofstate before changing title
Minor change
Minor fix to pp* (name) to try and better control linefeeds
Modified to not uppercase \lambda
Added positive-types attribute to const-decl
Added setting of positive-types to every and some