[isabelle-dev] NEWS: Isabelle server

Makarius makarius at sketis.net
Fri Mar 23 11:51:59 CET 2018

On 23/03/18 10:29, Christian Sternagel wrote:
> Is there a way to get a more detailed report on why the last step,
> "isabelle document ...",  failed?
> Btw: I also get (sometimes more specific) errors for building other
> documentation.
> Okay, turns out that I was missing the LaTeX packages
>   nomencl, regexpatch, subfigure, supertabular
> on my system (Fedora 27). After installing those I still get some errors
> (all with similar error message):

You can build all docs with detailed results like this:

  isabelle build -c -g doc -o document=pdf -o document_output=output

For the purpose of the updated system manual, you can now download the
nightly snapshot: https://isabelle.sketis.net/devel/release_snapshot


More information about the isabelle-dev mailing list