*** Document preparation *** * Command-line tool "isabelle document" has been re-implemented in Isabelle/Scala, with simplified arguments and explicit errors from the latex process. Minor INCOMPATIBILITY.
*** System *** * ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific options for improved error reporting. Potential INCOMPATIBILITY with unusual LaTeX installations, may have to adapt these settings. This refers to Isabelle/93600ca0c8d9. It turned out much more complicated than anticipated: the TeX engine is a dark pit from a different era, when parsers and sane error output did not exist yet. Early adopters should keep an eye on it: whenever there is a need to inspect root.log manually for errors, please report it. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev