I’m taking care of it
Larry
> On 16 Jun 2016, at 10:44, Manuel Eberl wrote:
>
> Sure, I can do that later today.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Sure, I can do that later today.
By the way, "isabelle build -o document=pdf HOL-Multivariate_Analysis"
builds the session with document processing enabled. If it fails, it
tells you both the location of the document directory (with all the
generated LaTeX files) and the build log.
In my exp