[isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?

[Jasmin Christian Blanchette]

Am 04.02.2014 um 10:25 schrieb Lars Noschinski <noschinl at in.tum.de>:

> 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 the Isabelle core is
> part of Pure.

But for making changes to a theory in HOL, say, "List.thy", just write

    isabelle jedit -l Pure List.thy

"Pure" is so fast to build, whenever I make changes to it I just recompile it on the command line. Makarius might have further hints.

Jasmin