On 14/12/17 13:45, Lars Hupel wrote:
> 
> Featherweight_OCL now fails to build:
> 
> isabelle document -d
> /home/lars/.isabelle/browser_info/AFP/Featherweight_OCL/outline -o pdf
> -n outline -t -annexa\,afp\,/proof\,/ML
> *** Latex error (line 183 of
> "/home/lars/.isabelle/browser_info/AFP/Featherweight_OCL/annex-a/root.tex"):
> ***   LaTeX Error: No \title given.
> *** Failed to build document in
> "/home/lars/.isabelle/browser_info/AFP/Featherweight_OCL/annex-a"

That is a mistake on my side. See now:

changeset:   67201:4cffa4791ef7
user:        wenzelm
date:        Thu Dec 14 14:28:27 2017 +0100
files:       src/Pure/Thy/present.scala
description:
proper \isakeeptag (amending 13b5c3ff1954);


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to