<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">After spending much more time than I wanted on this, the outcome is strange. On my home desktop machine, everything looks fine. On the laptop, symbols in PG are now totally scrambled:<br><div><br class="webkit-block-placeholder"></div><div><img height="187" width="404" apple-width="yes" apple-height="yes" id="49723600-0ce2-415c-9850-c2d7116d3c27" src="cid:80C6A7D9-98BA-4892-BC8F-3C889B53C8A0"></div><div><br class="webkit-block-placeholder"></div><div>Have you ever seen this before? It looks like everything is off by one. Maybe a font cache problem?</div><div><br></div><div>On the other hand, jedit looks beautiful. If I'm lucky, I can do a basic demo using that, though I'm still not very skilled with it.</div><div><br></div><div>Larry</div><br><div><div>On 19 Mar 2012, at 12:46, Makarius wrote:</div><img id="4ba6ba9c-08b4-4f76-9fe6-0834171aa561" height="483" width="635" apple-width="yes" apple-height="yes" src="cid:5E59B7FE-B070-4316-9CFB-A8B3D629C045"><br class="Apple-interchange-newline"><blockquote type="cite"><div>On Mon, 19 Mar 2012, Lawrence Paulson wrote:<br><br><blockquote type="cite">The problem is, using the last release means they won't be able to see the material that I have spent several days beautifying.<br></blockquote><br>Here the general survival strategy is to use as many "contrib" Isabelle components from the official release as possible. You need to copy the directories and the corresponding entries in Isabelle2011-1/etc/components.<br><br>This excludes Isabelle/jEdit, which needs to be rebuild from sources for the actual repository snapshot. The latter requires a regular Scala 2.8/2.9/2.10 installation, say the existing component from Isabelle2011-1 plus my "jedit_build" component.<br><br>So after unpacking <a href="http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz">http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz</a> you can register that directory in your etc/components or say something like "init_component /.../jedit_build-20120313" in your etc/settings -- using full path specifications. Then "isabelle jedit" will build itself on startup.<br><br>The JVM 6/7 rendering engine is only 5 years behind current technical standards, so it should look better than this old Emacs stuff.<br><br><br><span class="Apple-tab-span" style="white-space:pre"> </span>Makarius<br></div></blockquote></div><br></body></html>