Commit Graph

3 Commits

Author SHA1 Message Date
Tilman Kranz 69fc45061b add test, escape spaces in output 2022-08-21 15:47:44 +02:00
Tilman Kranz 0ae62285f0 include formal definition 2022-08-20 20:18:08 +02:00
Tilman Kranz 6099f6d242 Initial commit 2022-08-20 09:51:37 +02:00