[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