Attachments

		Name	Size	Creator	Creation Date	Labels	Comment
		PNG File deleteMessage.png	13 kB	Kristina B.	Sept 20, 2023 18:11	No labels
		Version 1 (current)	13 kB	Kristina B.	Sept 20, 2023 18:11
		PNG File xsign.png	13 kB	Kristina B.	Sept 20, 2023 18:11	No labels
		Version 1 (current)	13 kB	Kristina B.	Sept 20, 2023 18:11
		PNG File Message_sequenceNo.png	12 kB	Kristina B.	Sept 20, 2023 18:11	No labels
		Version 1 (current)	12 kB	Kristina B.	Sept 20, 2023 18:11
		PNG File stateInvariant.png	12 kB	Kristina B.	Sept 20, 2023 18:11	No labels
		Version 1 (current)	12 kB	Kristina B.	Sept 20, 2023 18:11

1. Prev
2. 1
3. 2
4. Next