Jay Larson 3fdf2a54e6 The following changes were made to Makefile:
* added BRIEF
  * moved to new version scheme
  * removed MAKE and MAKEINST vars
2017-03-29 15:53:03 -05:00
Description
No description provided
136 KiB
Languages
Makefile 88.1%
Standard ML 11.9%