Parents and children of check-in [1948866d52]
|
2021-04-18
| ||
| 09:25 | Remove an incorrect "Lump size of dependent picture is too short" message check-in: 9ee1615bef user: user tags: trunk | |
| 09:10 | Correct a mistake in the Coloc instruction. check-in: 1948866d52 user: user tags: trunk | |
| 03:04 | Implement more of pattern matching. (It is only partially tested so far. Also, only (P) and (,P) are implemented, and so far not (=P) and (P*) and (,P*) and (=P*).) check-in: de3822f0fe user: user tags: trunk | |