Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-28 17:09:07 -0700 (Thu, 28 Aug 2003)
Revision: 4895
Log message:
This is another major re-arrangement of directories (hopefully,
the last one - at least until we start working on a shared installation mode)
that I've been planning for a while.
Basically, I moved the high-level proof/tactic layer into the tactics top-level
directory (my major objection was that it had absolutely no business being in
filter/boot - the tactic layer has nothing to do with parsing/compiling MetaPRL
files).
In short this, commit moves:
- filter/boot -> tactics/proof
- ensemble -> tactics/null, tactics/ensemble (splitting the directory
into separate ones for the distributed and sequential versions).