[isabelle-dev] Feature Request for ISABELLE_BUILD_OPTIONS: Support "isabelle build" Options
Tobias Nipkow
nipkow at in.tum.de
Fri Aug 17 15:26:15 CEST 2012
Am 17/08/2012 15:15, schrieb Makarius:
> I count this as trolling on this mailing list.
We all have our pet peeves.
Tobias
More information about the isabelle-dev
mailing list