Jay Larson d441f49d2d The following changes were made to Makefile: ...

* added BRIEF
  * moved to new version scheme
  * removed MAKE and MAKEINST vars
  * corrected dependencies

2017-03-30 09:14:27 -05:00

SNAP

First check in

2016-10-20 07:30:42 -05:00

SRC

First check in

2016-10-20 07:30:42 -05:00

Makefile

The following changes were made to Makefile:

2017-03-30 09:14:27 -05:00

Description

No description provided

1.9 MiB

Languages

Makefile 92.1%

Standard ML 7.9%