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

[Christian Urban]

On Friday, August 17, 2012 at 21:18:35 (+0200), Makarius wrote:
 > Tjark, you have no business here.

I assume something got here lost in translation.
Otherwise, we should all make reasonable effort
to welcome everybody on both, the isabelle-users
and isabelle-dev lists. After all, we like to have
plenty of users and plenty of developers for Isabelle; 
not like the GDR, which had a country, but in the end 
had no people. ;o)

Christian

 > 
 > If you want to propose changes to the Isabelle repository, you can send 
 > them the via email as hg changeset.
 > 
 > 
 >  	Makarius
 > _______________________________________________
 > isabelle-dev mailing list
 > isabelle-dev at in.tum.de
 > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

--