Modified pvs-add-tooltips to call names-info
Added names-info function to do the JSON encoding, separating it from the call
to collect-pvs-file-decls-info.
Misc fixes for PVS customization
Misc fixes for PVS customization
Bumped up version nos.
Fixed output-proofstate to not double json-encode the json (once here, and
then in the xml-rpc-return)
Modified to use the right tar on Macs
Merge remote-tracking branch 'origin/master'