pushed
zhengqunkoo/hipsleek • 6:03 AM - Jul 14, 2020
Updated the compilation instructions in the README to reflect changes in the Mona installation process. The repository now uses 'mona-1.4-modif.tar.gz' and a streamlined './install.sh' script instead of the old configure and make steps. This simplifies the setup process for new users.
