Commit Graph

3 Commits

Author SHA1 Message Date
Juergen Spitzmueller
812ac64447 Fix moved examples's \origin 2023-02-10 16:31:33 +01:00
Juergen Spitzmueller
9784fd4214 Move some example files to proper location
Listen to Uncle Tarski and do not mixup meta and object language!
2023-02-10 16:24:10 +01:00
Juergen Spitzmueller
93872e6fca Move language-specific examples in their own category
Also, give some files a more transparent name
2023-02-10 13:10:15 +01:00