From 36b3c475344f5fdd61f0d66c1e2d69cb522f3416 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 21 Sep 2000 13:18:55 +0000
Subject: fixed "Dagstuhl";

---
 etc/screenshot-notes.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

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:
 
-- 
cgit v1.2.3