Example file set_syntax.j and set_russell.j can not open
123321abccba1 opened this issue · 3 comments
123321abccba1 commented
I can not open those two file in jape,
I use latest version 9.1.7 in Windows 10 x64
luanfg commented
Having the same problem when trying to load any saved formulae on windows 9.1.7.
RBornat commented
To both of you: you cannot load just any file into jape. You have first to load a theory — for Garcia it is probably I2L.jt; for 12aa it will be sets.jt. Sent from my iPhoneOn 17 Sep 2023, at 19:16, Luan Garcia ***@***.***> wrote:
Having the same problem when trying to load any saved formulae on windows 9.1.7.
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>
luanfg commented
You are completely right. Sorry about that!