digama0 mmj2 issues - Githubissues

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project

GNU General Public License v2.0

72 stars 24 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Proofs are broken since this morning.

#76 metakunt closed 2 months ago
6
Release new version

#75 io12 opened 7 months ago
0
Add a CI build for Windows

#74 tirix opened 8 months ago
0
Fix compilation process and allow arbitrary install locations

#73 creator1creeper1 opened 8 months ago
2
mmj2 is still difficult to install

#72 BTernaryTau opened 8 months ago
1
IllegalArgumentException on starting mmj2

#71 avekens opened 9 months ago
7
Bug in the definition soundness check

#70 benjub opened 10 months ago
0
Cannot compile with maven following INSTALL.md instructions

#69 benjub opened 11 months ago
0
Cannot compile following INSTALL.md instructions

#68 benjub opened 11 months ago
0
Replace git submodule by maven dependency

#67 jvierling opened 12 months ago
7
complie/posis_compile compatible with macos find

#66 josojo closed 1 year ago
3
Convert to maven project and add nashorn-core dependency

#65 jvierling closed 1 year ago
3
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 enjoysmath opened 1 year ago
0
Fix typo

#63 icecream17 closed 2 years ago
0
Move to next LTS version: Java SE 17?

#62 mountain opened 2 years ago
6
Switch to a modern build system

#61 mountain opened 2 years ago
12
change the first level html to markdown

#60 mountain opened 2 years ago
5
Make codebase IDE-independent

#59 mountain opened 2 years ago
2
ClassCastException on New Proof

#58 brlarson closed 2 years ago
4
Fix some typos in INSTALL.md

#57 jvierling closed 2 years ago
0
Crash in case of ambiguous grammar

#56 tirix opened 2 years ago
0
ProofAsstExportToFile in UT2PA001.txt is missing 7th parameter??

#55 billh0420 closed 2 years ago
1
Eclipse IDE code style formatter: how to disable ?

#54 billh0420 closed 3 years ago
4
Eclipse IDE reformats existing code style when making changes

#53 billh0420 closed 3 years ago
1
Deprecated methods

#52 billh0420 opened 3 years ago
5
Compile warnings

#51 billh0420 closed 3 years ago
1
After fork, what branch to modify to do pull requests from?

#50 billh0420 closed 3 years ago
1
patch for missing transformation crash

#49 ishanpm closed 3 years ago
2
Crash on startup with custom .mm file

#48 ishanpm closed 3 years ago
4
Nested Includes Bugfix

#47 ml-2 closed 3 years ago
0
Support for automatically figuring out substitutions

#46 abchugh opened 3 years ago
0
Make renumbering of proof derivation steps optional

#45 abchugh opened 3 years ago
4
Improve README.md and INSTALL.md

#44 david-a-wheeler opened 4 years ago
0
Remove checkVersion, to fix #36

#43 cwitty closed 4 years ago
2
Fixup

#42 david-a-wheeler closed 4 years ago
6
Set up github actions for automatic build and deploy

#41 digama0 opened 4 years ago
3
mmj2 prints "cannot be cast to class" exception when unify (check proof) option is chosen

#40 Prosfilaes closed 4 years ago
3
mmj2 is difficult to install/compile/get running

#39 cwitty opened 4 years ago
16
Fix tutorial

#38 david-a-wheeler closed 4 years ago
4
mmj2 tutorial issues: can't start on Linux; chapter 5 is broken

#37 cwitty opened 4 years ago
13
mmj2 bad version check; remove?

#36 cwitty opened 4 years ago
1
Increase the maximum Java memory to 1280 Mebibytes

#35 david-a-wheeler closed 4 years ago
6
Increase maximum Java memory to 2 Gibibytes

#34 david-a-wheeler closed 4 years ago
4
Fix some nits in the tutorial

#33 david-a-wheeler closed 4 years ago
0
Step search error in one of the Page412.mmp examples

#32 david-a-wheeler opened 4 years ago
0
Tutorial: More small fixes from making video

#31 david-a-wheeler closed 4 years ago
0
Tutorial: Tweak LocalRef-related material

#30 david-a-wheeler closed 4 years ago
0
Add a batch file for Cygwin

#29 david-a-wheeler closed 4 years ago
0
Tutorial 9

#28 david-a-wheeler closed 4 years ago
2
Tutorial: Fix lots of little things

#27 david-a-wheeler closed 4 years ago
1