# HG changeset patch
# User hoelzl
# Date 1271267196 -7200
# Node ID 0c2538afe8e8861c6f72ce35a8030d1c917a3fda
# Parent  1faa0fc3417477c381ef6d43c50377589acd8bd0
Spelling error: theroems -> theorems

diff -r 1faa0fc34174 -r 0c2538afe8e8 doc-src/IsarRef/Thy/HOL_Specific.thy
--- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Wed Apr 14 17:50:22 2010 +0200
+++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Wed Apr 14 19:46:36 2010 +0200
@@ -471,7 +471,7 @@
   Note that the resulting simplification and induction rules
   correspond to the transformed specification, not the one given
   originally. This usually means that each equation given by the user
-  may result in several theroems.  Also note that this automatic
+  may result in several theorems.  Also note that this automatic
   transformation only works for ML-style datatype patterns.
 
   \item @{text domintros} enables the automated generation of
diff -r 1faa0fc34174 -r 0c2538afe8e8 doc-src/IsarRef/Thy/document/HOL_Specific.tex
--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Wed Apr 14 17:50:22 2010 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Wed Apr 14 19:46:36 2010 +0200
@@ -479,7 +479,7 @@
   Note that the resulting simplification and induction rules
   correspond to the transformed specification, not the one given
   originally. This usually means that each equation given by the user
-  may result in several theroems.  Also note that this automatic
+  may result in several theorems.  Also note that this automatic
   transformation only works for ML-style datatype patterns.
 
   \item \isa{domintros} enables the automated generation of
diff -r 1faa0fc34174 -r 0c2538afe8e8 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Wed Apr 14 17:50:22 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Wed Apr 14 19:46:36 2010 +0200
@@ -16,6 +16,8 @@
 * jEdit 4.3.1 (final)
   http://www.jedit.org/
 
+  
+
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
 
 * jEdit plugins: