Ubuntu
bash package

  1. Bug #109927
  2. Comment #6

Comment 6 for bug 109927

Revision history for this message
Robert (robrwo) wrote :

I've not noticed it coming up again, but the version of proofgeneral that I'm using now is installed in /usr instead of /use/local.