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
X-Debbugs-CC: Leandro GuimarĂ£es Faria Corcete DUTRA l...@dutras.org
Package: proofgeneral-doc
Version: 4.2~pre120605-1
Severity: normal
Dear Maintainer,
the isar/Example.thy (or an equivalent Example.v) file does not exist.
* What led up to the situation?
Trying to follow the Info tutorial.
the isar/Example.thy (or an equivalent Example.v) file does not exist.
I am sorry for the inconvenience, but this is not really under my
control. Isabelle is not available as Debian package and the
Isabelle maintainers distribute Isabelle with their own version
of Proof General.
3 matches
Mail list logo