darcs

Patch 1834 document and add property for PrimPatchId invariant

Title document and add property for PrimPatchId invariant
Superseder Nosy List bf
Related Issues
Status obsoleted Assigned To
Milestone

Created on 2019-06-15.10:40:57 by bf, last changed 2019-07-08.16:15:40 by bf.

Files
File name Status Uploaded Type Edit Remove
document-and-add-property-for-primpatchid-invariant.dpatch bf, 2019-06-15.10:40:57 application/x-darcs-patch
patch-preview.txt bf, 2019-06-15.10:40:57 text/x-darcs-patch
unnamed bf, 2019-06-15.10:40:57 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20830 (view) Author: bf Date: 2019-06-15.10:40:57
The property is not yet tested, working on that.

1 patch for repository http://darcs.net/screened:

patch f5d79f24bab01bad038670f17c2e56c2d7a45b49
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Jun 15 11:20:33 CEST 2019
  * document and add property for PrimPatchId invariant
Attachments
msg20894 (view) Author: bf Date: 2019-07-08.16:15:39
Will send this and another related patch as follow-up to patch1823.
History
Date User Action Args
2019-06-15 10:40:57bfcreate
2019-07-08 16:15:40bfsetstatus: needs-screening -> obsoleted
messages: + msg20894