Commit Graph

4 Commits

Author SHA1 Message Date
Richard Kimberly Heck
d302d6b20f Update docs 2024-01-11 11:06:40 -05:00
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