[isabelle-dev] Mercurial failing as always

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

Previous message (by thread): [isabelle-dev] Mercurial failing as always
Next message (by thread): [isabelle-dev] Mercurial failing as always
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] Mercurial failing as always
Next message (by thread): [isabelle-dev] Mercurial failing as always
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list