# HG changeset patch
# User wenzelm
# Date 1558285524 -7200
# Node ID be248d734a5d9523d310bd29936fe0732e22b466
# Parent  3e17c3a5fd39822fe5637b542ce9aca46c98469c
tuned spelling;

diff -r 3e17c3a5fd39 -r be248d734a5d src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sun May 19 18:10:45 2019 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Sun May 19 19:05:24 2019 +0200
@@ -2152,7 +2152,7 @@
   (by Oracle) on low-quality displays.
 
   \<^bold>\<open>Workaround:\<close> Find an old copy of Java 8 from Oracle (which has
-  ``end-of-live'' status since Jan-2019) and refer to its main directory via
+  ``end-of-life'' status since Jan-2019) and refer to its main directory via
   @{setting "ISABELLE_JDK_HOME"}\<^verbatim>\<open>="..."\<close> in
   \<^path>\<open>$ISABELLE_HOME_USER/etc/settings\<close>. Also add
   \<^verbatim>\<open>isabelle_fonts_hinted=false\<close> to