Stream: General

Topic: isabelle build


view this post on Zulip 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: Aug 15 2022 at 02:13 UTC