[isabelle-dev] Feature Request for ISABELLE_BUILD_OPTIONS: Support "isabelle build" Options
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