Hi, I looked again at your bug report.
With the "info tutorial" you mean section "2.1 Walkthrough example in Isabelle" in the Proof General user's manual packaged in proofgeneral-doc? I just noticed that the upstream sources contain an example file, that is not included in the packages. My plan is now to install this example file as /usr/share/doc/proofgeneral/coq_example.v and put a hint on this location into section 2.1. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org