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