search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 25 forks source link

Use bigger heap so mmj2.bat can read set.mm #2

Closed david-a-wheeler closed 8 years ago

digama0 commented 8 years ago

Rebased and merged as https://github.com/digama0/mmj2/commit/03d6e3c4727cb0386ed458f02d3acc356bf19129. (You correctly applied the PR against develop, but you based the commit off of the master branch, which is only for tagged releases.)