Re: [isabelle] AFP instructions



On 27/02/2021 13:00, Stepan Holub wrote:
> Absolutely! Now I understand what Makarius says.
> 
> The right instruction is
> "Open user setting file in jEdit by: File > Open > Favorites >
> $ISABELLE_HOME_USER
> and add the line ...
> "

With the minor correction that it needs to be Isabelle/jEdit, not just "jEdit"
--- both for formal correctness and respect for the original jEdit project,
which is quite different from our Prover IDE.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.