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'
Bug fix
Took out soft link following
Merge remote-tracking branch 'origin/master'
Fixed jsonrpc-error to return the condition string rather than the condition
itself.
Added pvs-abort to export list
Added reset method
Added some files to interface var
Added proved? to export list
Added proved?, complete?, and has-proofscript? properties to formula decls
Added pc-complete to export list