# HG changeset patch
# User wenzelm
# Date 1350747651 -7200
# Node ID 7d4a24d40e020188b3a3b5d3fbb6bae016bac81e
# Parent 10b2c0b68a4d49c04e393c6f8b0baeab39f0c672
avoid STIX font, which tends to render badly;
diff -r 10b2c0b68a4d -r 7d4a24d40e02 src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html Sat Oct 20 17:15:40 2012 +0200
+++ b/src/Tools/jEdit/README.html Sat Oct 20 17:40:51 2012 +0200
@@ -5,7 +5,7 @@
Welcome to the Isabelle/jEdit Prover IDE