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
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. Conseque
X-Debbugs-CC: Leandro Guimarães Faria Corcete DUTRA
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.
-- System Inf
3 matches
Mail list logo
