This Day In History For 2025-04-18
4 Years Ago (more context)
|
2021-04-18
| ||
| 22:54 | Add the "next" pattern operator. check-in: 81587e71b1 user: user tags: trunk | |
| 22:44 | Implement pasting into text input prompts check-in: b43a526002 user: user tags: trunk | |
| 22:20 | Correct a mistake in importing level titles check-in: ce10815b30 user: user tags: trunk | |
| 09:45 | Correct some mistakes in pattern matching check-in: d402558420 user: user tags: trunk | |
| 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 | |