Hi Larry,
I guess you have to update your local AFP clone also.
Hope this helps,
Florian
Am 25.04.2018 um 18:03 schrieb Lawrence Paulson:
> In the past couple of days, upon launching Isabelle jEdit, I get an alert box
> with the message above and the attached text. Any ideas?
>
> Larry
In the past couple of days, upon launching Isabelle jEdit, I get an alert box
with the message above and the attached text. Any ideas?
Larry
~/isabelle/Repos/src/Pure: hg id
362baebe25a5 tip
Cannot load theory "HOL-Library.Code_Char"
The error(s) above occurred for theory "HOL-Library.Code_Char