Installing Java 11 worked. Appreciate the info, guys.
-Malik. On Wednesday, January 25, 2023 at 6:43:19 PM UTC-5 M Malik wrote: > Glauco, > > I am not sure if I have resolved that error since I am not running mmj2 > jar file directly. I am attempting to run mmj2 through the mmj2 script as > suggested earlier by Jim. Script runs but prompts class file version error. > > I'll download Java 11 and see if that works. > > -Malik. > > On Wednesday, January 25, 2023 at 3:24:41 PM UTC-5 Glauco wrote: > >> Under linux and java 11 , it worked for me. >> >> Tried a couple of weeks ago, the latest mmj2 version on github; it took >> me a while to get it to work. I didn't use it to write "actual" proofs, but >> unification worked as expected. >> >> Did you solve the " RunParmFile not found or Security Exception" error ? >> >> >> Glauco >> >> -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5799a2ff-fe4c-494e-a368-eead85d6f714n%40googlegroups.com.
