Humza Shahid 299735f500 only update search list if timestamp for search message is greater than the buffer's modified time

2025-09-07 13:37:14 +01:00

..

draw-msg.sml

remove some opaque signature ascriptions

2025-04-22 20:49:56 +01:00

input-msg.sml

only update search list if timestamp for search message is greater than the buffer's modified time

2025-09-07 13:37:14 +01:00

mailbox-type.sml

when constructing SEARCH message, include time in the message as well. This will enable us to ignore any messages when we have a 'later' state available.

2025-09-07 13:24:41 +01:00