diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:18:55 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:18:55 +0000 |
commit | 36b3c475344f5fdd61f0d66c1e2d69cb522f3416 (patch) | |
tree | 2b6d8779534d1a3839df9b71c03e5b2b1ca3e100 /etc | |
parent | 48bcb3395e21feb0669843521eb6b0ffe1e9f8d7 (diff) |
fixed "Dagstuhl";
Diffstat (limited to 'etc')
-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: |