From 67047d6c338090f32f371e965a1d12f71f22a391 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 24 Jan 2008 10:17:29 +0000
Subject: fixed spelling;

---
 isa/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/README b/isa/README
index 2be47ea5..d55b80f5 100644
--- a/isa/README
+++ b/isa/README
@@ -4,4 +4,4 @@ The default and only supported interface is now Isabelle/Isar.
 
 If you need to use an older version of Isabelle, you will have
 to use an older version of Proof General (and so perhaps an older
-version of Emacs...).  Apologies for the incovnenience.
+version of Emacs...).  Apologies for the inconvenience.
-- 
cgit v1.2.3