[isabelle-dev] Feature Request for ISABELLE_BUILD_OPTIONS: Support "isabelle build" Options

Makarius makarius at sketis.net
Fri Aug 17 21:18:35 CEST 2012

Tjark, you have no business here.

If you want to propose changes to the Isabelle repository, you can send 
them the via email as hg changeset.


More information about the isabelle-dev mailing list