[isabelle-dev] Documentation for the development version?
breitner at kit.edu
Thu Jul 2 15:55:32 CEST 2015
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
and would not find it there.
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.
Dipl.-Math. Dipl.-Inform. Joachim Breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev