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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
