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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
