[isabelle-dev] Relations vs. Predicates
makarius at sketis.net
Fri Apr 13 13:36:43 CEST 2012
On Fri, 13 Apr 2012, Makarius wrote:
> On AFP I've also seen a machine default for "fetch" merges. This is the
> canonical configuration for it:
> hgext.fetch =
> fetch = -m "merged"
> I won't argue about the exact spelling of the "merged", but it should not be
> the machine generated thing.
Here is another one just coming in:
user: Andreas Lochbihler
date: Fri Apr 13 13:30:27 2012 +0200
summary: Automated merge with
Again, the digested content of README_REPOSITORY is important. There are
deeper things in there, but at least the superficial things should be done
right as a start.
More information about the isabelle-dev