Stream: General

Topic: isabelle build

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: Dec 21 2024 at 12:33 UTC