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

Makarius makarius at sketis.net
Fri Aug 17 16:54:40 CEST 2012


On Fri, 17 Aug 2012, Tobias Nipkow wrote:

> Am 17/08/2012 15:15, schrieb Makarius:
>> I count this as trolling on this mailing list.
>
> We all have our pet peeves.

Tjark can express that somewhere privately, not here on this mailing list.


 	Makarius



More information about the isabelle-dev mailing list