digama0/mmj2

Issues

• Proofs are broken since this morning.

  #76 opened 6 months ago by metakunt
  6

• Release new version

  #75 opened a year ago by io12
  0

• Add a CI build for Windows

  #74 opened a year ago by tirix
  0

• IllegalArgumentException on starting mmj2

  #71 opened a year ago by avekens
  7

• mmj2 is still difficult to install

  #72 opened a year ago by BTernaryTau
  1

• Bug in the definition soundness check

  #70 opened a year ago by benjub
  0

• Cannot compile with maven following INSTALL.md instructions

  #69 opened a year ago by benjub
  0

• Cannot compile following INSTALL.md instructions

  #68 opened a year ago by benjub
  0

• Switch to a modern build system

  #61 opened 3 years ago by mountain
  12

• The links in the readme open up the github source view of the help file such as "Guide", not as a rendered webpage in my browser.

  #64 opened 2 years ago by enjoysmath
  0

• Move to next LTS version: Java SE 17?

  #62 opened 3 years ago by mountain
  6

• ClassCastException on New Proof

  #58 opened 3 years ago by brlarson
  4

• Crash in case of ambiguous grammar

  #56 opened 3 years ago by tirix
  0

• ProofAsstExportToFile in UT2PA001.txt is missing 7th parameter??

  #55 opened 3 years ago by billh0420
  1

• After fork, what branch to modify to do pull requests from?

  #50 opened 4 years ago by billh0420
  1

• Compile warnings

  #51 opened 4 years ago by billh0420
  1

• Eclipse IDE code style formatter: how to disable ?

  #54 opened 4 years ago by billh0420
  4

• Eclipse IDE reformats existing code style when making changes

  #53 opened 4 years ago by billh0420
  1

• Deprecated methods

  #52 opened 4 years ago by billh0420
  5

• mmj2 is difficult to install/compile/get running

  #39 opened 4 years ago by cwitty
  16

• Crash on startup with custom .mm file

  #48 opened 4 years ago by ishanpm
  4

• Support for automatically figuring out substitutions

  #46 opened 4 years ago by abchugh
  0

• Set up github actions for automatic build and deploy

  #41 opened 4 years ago by digama0
  3

• mmj2 prints "cannot be cast to class" exception when unify (check proof) option is chosen

  #40 opened 4 years ago by Prosfilaes
  3

• mmj2 tutorial issues: can't start on Linux; chapter 5 is broken

  #37 opened 4 years ago by cwitty
  13

• mmj2 bad version check; remove?

  #36 opened 4 years ago by cwitty
  1

• Step search error in one of the Page412.mmp examples

  #32 opened 5 years ago by david-a-wheeler
  0

• mmj2 setup for Mac OS

  #21 opened 5 years ago by ammkrn
  10

• Add LOC_BEFORE= in addition to LOC_AFTER=?

  #23 opened 5 years ago by david-a-wheeler
  0

• mmj2 gives non-fatal error when starting up on iset.mm

  #7 opened 5 years ago by jkingdon
  16

• New downloadable version of mmj2?

  #15 opened 5 years ago by avekens
  0

• What is the minimum from set.mm for mmj2 to start up

  #14 opened 6 years ago by htzh
  3

• Misc Bugs from 10/5 in PA GUI and Friends

  #13 opened 6 years ago
  0

• Default store.json not written relative to mmj2 path + load/saveSettings() quirk

  #12 opened 6 years ago
  9

• store.json (settings file) not created by SaveSettings or SettingsFile RunParms (on Mac)

  #11 opened 6 years ago
  4

• java.lang.OutOfMemoryError: Java heap space for set.mm

  #8 opened 6 years ago
  1

• some search terms get no response

  #9 opened 6 years ago by glacode
  1

• Crash on startup reading iset.mm

  #6 opened 7 years ago by jkingdon
  7