tuned spelling;
authorwenzelm
Sun, 19 May 2019 19:05:24 +0200
changeset 70470 be248d734a5d
parent 70469 3e17c3a5fd39
child 70471 9d7256d23ae3
tuned spelling;
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