diff options
Diffstat (limited to 'etc/screenshot-notes.txt')
-rw-r--r-- | etc/screenshot-notes.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/screenshot-notes.txt b/etc/screenshot-notes.txt index c46552d8..3a0daff6 100644 --- a/etc/screenshot-notes.txt +++ b/etc/screenshot-notes.txt @@ -3,7 +3,7 @@ Screenshot notes. All in 80x40 sized XEmacs. -* Isabelle: Daghstul HOLCF example. Show theory file on screen too. +* Isabelle: Dagstuhl HOLCF example. Show theory file on screen too. * Isar: Example Group.thy is modified version with extra X-Symbol line: |