pushed
zhengqunkoo/hipsleek • 6:01 AM - Jul 14, 2020
Updated the README instructions for compiling Mona to reflect current versioning and installation practices. Switched from a custom script to standard configure and make commands for better compatibility. This should streamline the setup process for new users significantly.
