[isabelle-dev] isabelle build

[Jasmin Christian Blanchette]

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?

Jasmin