# HG changeset patch
# User wenzelm
# Date 1524738733 -7200
# Node ID c3b55728941b2af1b347a0ee75eab1410bd0c61d
# Parent  d45b78cb86cffec4f3b4e87db3c3f0c520d0401d
spelling;

diff -r d45b78cb86cf -r c3b55728941b src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Apr 25 21:29:02 2018 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Thu Apr 26 12:32:13 2018 +0200
@@ -1154,7 +1154,7 @@
 text \<open>
   The \<^emph>\<open>Query\<close> panel in \<^emph>\<open>Find Theorems\<close> mode retrieves facts from the theory
   or proof context matching all of given criteria in the \<^emph>\<open>Find\<close> text field. A
-  single criterium has the following syntax:
+  single criterion has the following syntax:
 
   @{rail \<open>
     ('-'?) ('name' ':' @{syntax name} | 'intro' | 'elim' | 'dest' |
@@ -1171,7 +1171,7 @@
 text \<open>
   The \<^emph>\<open>Query\<close> panel in \<^emph>\<open>Find Constants\<close> mode prints all constants whose type
   meets all of the given criteria in the \<^emph>\<open>Find\<close> text field. A single
-  criterium has the following syntax:
+  criterion has the following syntax:
 
   @{rail \<open>
     ('-'?)