# HG changeset patch
# User wenzelm
# Date 1308766882 -7200
# Node ID 4414c8b02bf909e9249641941e54bd2e48ee1d96
# Parent bbbd6cad7df17394caf5efd35b89d4b71cd9eb88
prefer STIXGeneral -- hard to tell if better or worse;
diff -r bbbd6cad7df1 -r 4414c8b02bf9 src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html Wed Jun 22 16:35:31 2011 +0200
+++ b/src/Tools/jEdit/README.html Wed Jun 22 20:21:22 2011 +0200
@@ -5,7 +5,7 @@
Notes on the Isabelle/jEdit Prover IDE