[isabelle-dev] isabelle build

Tobias Nipkow nipkow at in.tum.de
Tue Aug 7 09:03:50 CEST 2012


Am 07/08/2012 09:00, schrieb 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?

Worse, it has nothing to do with "build".

Tobias

> Jasmin
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 



More information about the isabelle-dev mailing list