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

[Makarius]

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.


 	Makarius