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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
