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/415f8ef7-a308-46c7-9d62-c5f64530f1a5n%40googlegroups.com.
