On 06/17/2012 06:36 PM, Florian Haftmann wrote:
Thanks. It asks me to set 'Environment variable ISABELLE_GHC '. So I uncomment the
line 'ISABELLE_GHC=/usr/local/ghc/$ISABELLE_PLATFORM/ghc'
Now it gives me another error message Compilation with GHC failed. Any
suggestion ?
PS, I work in a
MacHg is pretty good, and now that I've learnt never to use FileMerge for
merging (because it crashes, meaning you lose your work every time there's a
conflict), I finally find Mercurial tolerable.
However, I'm curious about a rival client, SourceTree. Has anybody tried it?
