I run it via the https://github.com/digama0/mmj2/blob/master/mmj2jar/mmj2 script which supplies many of the needed parameters.
On January 23, 2023 12:51:43 PM PST, M Malik <[email protected]> wrote: >Hello Metamath people, > >I am sorry if this has been answered before. I installed mmj2 through >Github, but I am receiving this error when I attempt to open >"mmj2-java8.jar" file. > >Error: mmj.pa.ErrorCode@61e717c2A-UT-0007 RunParmFile not found or Security >Exception. Input file name = null System message follows: null > >Any thoughts? >-Malik. > >-- >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/57c0eb95-db89-4cb8-9a04-66262c2dfadbn%40googlegroups.com. -- 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/88560A88-89B7-4471-A306-A53F9912899A%40panix.com.
