Parents and children of check-in [4b2105440b]
2017-10-24
| ||
14:17 | patch situation where item in testpatt did not imply toplevel check-in: d52e2b05bf user: bjbarcla tags: v1.64-chainedwaiton | |
13:36 | corrected testpatt elaboration for chained-waiton situation check-in: 4b2105440b user: bjbarcla tags: v1.64-chainedwaiton | |
2017-10-23
| ||
17:58 | wip check-in: 162defc51d user: bjbarcla tags: v1.64-chainedwaiton | |