Helena 0.8.3 M

<compile-time feature> ::=

EXPAND     enable option -g (if unset, -g is disabled)
MANAGER    enable options -M -m -p (if unset, -m is disabled)
PREPROCESS enable option (if unset, -0 is disabled)

* type "make" or "make opt" to compile the native executable
  with the desired features listed in the variable F

* type "make clean" to remove the products of compilation

- type "make export-coq" to build the "grundlagen" for Coq 8

* type "make profile" to validate the "grundlagen" 31 times
  it generates etc/profile.txt with sorted execution times

* type "make profile-coq" to run coqc on the "grundlagen" 31 times
  it generates etc/profile.txt with sorted execution times
  coqc must be installed on your system