# HG changeset patch
# User wenzelm
# Date 1453299423 -3600
# Node ID 8addfff5965a241cddaa65d2f9b8d195fd64edf1
# Parent  cc1557643ab10a351c4f9364d03f413faed2ab38
clarified -- this is available on Mac OS X, too;

diff -r cc1557643ab1 -r 8addfff5965a src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Jan 20 14:43:21 2016 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Wed Jan 20 15:17:03 2016 +0100
@@ -336,8 +336,7 @@
   in mind that this extra variance of GUI functionality is unlikely to work in
   arbitrary combinations. The platform-independent \<^emph>\<open>Metal\<close> and \<^emph>\<open>Nimbus\<close>
   should always work on all platforms, although they are technically and
-  stylistically outdated. The historic \<^emph>\<open>CDE/Motif\<close> on Linux should be
-  ignored.
+  stylistically outdated. The historic \<^emph>\<open>CDE/Motif\<close> should be ignored.
 
   After changing the look-and-feel in \<^emph>\<open>Global Options~/ Appearance\<close>,
   Isabelle/jEdit should be restarted to take full effect.