Improve README.md and INSTALL.md

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project

GNU General Public License v2.0

72 stars 25 forks source link

Open david-a-wheeler opened 4 years ago

david-a-wheeler commented 4 years ago

Fix the markdown links in README.md, and extend the INSTALL.md file (especially with more MacOS instructions and info on how to update mmj2).

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com