Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-03-02 | fixing some remaining terminology issues from the sketch/offer/proposal ↵ | Christian Grothoff | |
family; in particular, the interface Proposal cannot contain another Proposal | |||
2017-01-27 | Still on splitting | Marcello Stanisci | |