[isabelle-dev] Sane Mercurial history

Christian Urban urbanc at in.tum.de
Thu Mar 4 17:40:07 CET 2010

On the topic of Mercurial: There is a nice 6-part 
tutorial about it at 


Maybe too basic for the seasoned users, but funny
nonetheless. And an example for a very crisp-clear
piece of writing. 


Makarius writes:
 > On Wed, 3 Mar 2010, Brian Huffman wrote:
 > > On Wed, Mar 3, 2010 at 8:54 AM, Makarius <makarius at sketis.net> wrote:
 > >>  * For longer "projects" the timespan of staying in splendid isolation
 > >>    is limited to 1-3 days (3 is already quite long, and personally I
 > >>    usually try to stay within the 0.5-1.5 days interval).
 > > ...
 > >>    Of course, the merge nodes produced for preparing a push also need to
 > >>    be fully tested (isabelle makeall all).
 > >
 > > Note that these requirements are somewhat in conflict with each other.
 > >
 > > Running all the tests with "isabelle makeall all" already takes me 
 > > nearly 0.5 days, during which time it is very likely that the repository 
 > > will have changed again. If I required myself to run "isabelle makeall 
 > > all" after merging and immediately before each push, I might be able to 
 > > push my changes once or twice a week, during periods of low activity on 
 > > the repository.
 > I would call this a non-problem.  Even on low-end hardware from 2 years 
 > ago the makeall all can be done in 1-2 hours -- although I am still hoping 
 > for someone to work out a way to use one of these distributed make tools.
 > You do have an official account at TUM, so it should be possible to work 
 > out a scheme how you can make use of some suitable machines (e.g. 
 > macbroy20..29).
 >  	Makarius
 > _______________________________________________
 > Isabelle-dev mailing list
 > Isabelle-dev at mailbroy.informatik.tu-muenchen.de
 > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list