[isabelle-dev] NEWS: Isabelle server

[Makarius]

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


	Makarius