[isabelle-dev] Relations vs. Predicates

Makarius 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:
>  [extensions]
>  hgext.fetch =
>  [defaults]
>  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:

changeset:   47453:598604c91036
tag:         tip
parent:      47449:5e1482296b12
parent:      47452:60da1ee5363f
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 mailing list