[isabelle-dev] Mercurial failing as always

Larry Paulson lawrencecpaulson at me.com
Tue Mar 1 15:30:00 CET 2011


I see that the secret lies in the difference between .hgrc and .hg/hgrc (how silly of me)
Larry




More information about the isabelle-dev mailing list