3 commits

Author	SHA1	Message	Date
Paul Schaub	36cb6918a4	Refine PDA diagram	2022-09-07 18:16:11 +02:00
Paul Schaub	27476831d9	Add hint about dotted line in message format diagram	2022-09-07 17:56:46 +02:00
Paul Schaub	e78880602a	Add diagram of pushdown automaton for the OpenPGP Message Format	2022-09-07 17:29:04 +02:00