I wrote:
- the Proof General splash screen misses the picture (still
investigating)
Fixed now with the latest upload.
- proofgeneral-coq, proofgeneral-minlog and proofgeneral-misc are
not deleted when proofgeneral is upgraded.
Would Replaces: proofgeneral-coq, ... fix this?
Also fixed using Replaces and Conflicts.
Bye,
Hendrik