Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-01 21:32:45 -0700 (Thu, 01 May 2003)
Revision: 4539
Log message:
This is a first part of a directory restructuring.
I've created support/display, support/shell and support/tactics and
moved everything from theories/tactic and theories/ocaml into support.
P.S. This would break omake, sorry.