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

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Feb 4 11:25:38 CET 2014

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.


More information about the isabelle-dev mailing list