Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-10-22 13:58:58 -0700 (Sun, 22 Oct 2000)
Revision: 3086
Log message:
1) Proved some *Formation rules that used to be primitive (using in part
Alexei's cut rule idea). We should probably continue this job and
eliminate "primitiveness" from as much Formation rules as we can.
2) unitSqequal rule should be primitive
3) mk: don't pass -j1 to make when MAKE_JOBS = 1
4) In MP toploop, when a non-negatice integer is found where
an address was expected, that integer is considered to be
the hypothesis number. This enables applying primitive rules
from the MP toploop.