[isabelle-dev] Documentation for the development version?

Makarius 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.


 	Makarius




More information about the isabelle-dev mailing list