[isabelle-dev] Documentation for the development version?
makarius at sketis.net
Thu Jul 2 23:17:54 CEST 2015
On Thu, 2 Jul 2015, Joachim Breitner wrote:
> I was curious about the new subgoal command, so I wonder: Is the built
> documentation of the current development snapshot readily available
> online somewhere? I was looking at http://isabelle.in.tum.de/devel/ and
> would not find it there.
For repository clones the build_doc tool does the job, e.g.
$ isabelle build_doc isar-ref
$ isabelle doc isar-ref
> There is documentation in the linked zip file, but that is a bit
> inconvenient. Could this page link to the docs file directly?
> Also, the snapshot seems to be out of date (May 23), and the links to
> the changelog links to a repository called "isabelle-release", so likely
> not the right one.
That is all a bit outdated in various ways. For weeks we are struggling
to get the isatest job that is responsible for it back in decent form.
More information about the isabelle-dev