[isabelle-dev] isabelle build

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Aug 7 09:00:57 CEST 2012

Am 07.08.2012 um 00:15 schrieb Johannes Hölzl:

> And I would suggest that isabelle mkroot tells the user to use version
> control:
> * Use Mercurial to manage your project
>   hg init Project_X
>   hg add Project_X
>   hg commit Project_X -m "initial commit"

Isn't that condescending?


More information about the isabelle-dev mailing list