Am 04.02.2014 um 10:25 schrieb Lars Noschinski <nosch...@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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
