Following up with the solution:
Instead of the default value of `javax.swing.plaf.nimbus.NimbusLookAndFeel`,
replace the `lookAndFeel` property’s default value with
`com.apple.laf.AquaLookAndFeel`. There are other, smaller, differences in
packaging too, but this makes the repository’s jEdit
feel
The details of packaging jEdit & why it appears different depending on my
invocation are still mysterious to me, but when I just tried to reproduce
the *problems* I was having, I was unable to. (Perhaps the limitation was
on a previous version of Isabelle and I've just been working around it
since
Am 04.02.2014 um 10:25 schrieb Lars Noschinski :
> On 04.02.2014 01:05, Josh Tilles wrote:
>> Essentially, how do you configure Isabelle/jEdit when you want to make
>> changes to the "core" logics? (e.g., HOL, or even Pure)
>
> I don't think you can interactively make changes to Pure -- the proto
On 04.02.2014 01:05, Josh Tilles wrote:
> Essentially, how do you configure Isabelle/jEdit when you want to make
> changes to the "core" logics? (e.g., HOL, or even Pure)
I don't think you can interactively make changes to Pure -- the protocol
which is used by Isabelle/jEdit to communicate with th
Essentially, how do you configure Isabelle/jEdit when you want to make
changes to the "core" logics? (e.g., HOL, or even Pure)
I'll be very grateful any help,
--Josh Tilles
IF YOU NEED MORE DETAILS:
I'm using Isabelle2013-2 on Mac OS X.
If I naively open Isabelle2013-2.app, I'm unable to work wi
