[isabelle-dev] misc problems

[Lawrence Paulson]

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:



Have you ever seen this before? It looks like everything is off by one. Maybe a font cache problem?

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.

Larry

On 19 Mar 2012, at 12:46, Makarius wrote:

> On Mon, 19 Mar 2012, Lawrence Paulson wrote:
> 
>> The problem is, using the last release means they won't be able to see the material that I have spent several days beautifying.
> 
> 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.
> 
> 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.
> 
> So after unpacking http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz 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.
> 
> The JVM 6/7 rendering engine is only 5 years behind current technical standards, so it should look better than this old Emacs stuff.
> 
> 
> 	Makarius

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120320/c43c1c4d/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PG-is-hosed.jpg
Type: image/jpg
Size: 30670 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120320/c43c1c4d/attachment-0002.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-03-20 at 08.36.56.png
Type: image/png
Size: 134685 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120320/c43c1c4d/attachment-0002.png>