Gergely Buday (Jan 17 2020 at 11:07): Gergely Buday (Jan 17 2020 at 11:07):I ran a simple Isabelle document through "isabelle build -c -D ." and got pdflatex: unrecognized option `-c-style-errors'. So the build failed. What's this?
This is on a Windows 10
Last updated: Feb 28 2025 at 08:24 UTC