Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-13 19:16:43 -0700 (Fri, 13 May 2005)
Revision: 1024
Log message:
Re-adding the Tetex_config on a branch.
Note:
- This does not include the "hostname in the .omo" change (since it is quite
likely that the new solution will not be omo-based)
- Intead of Tetex_config + Tetex_config.src, this uses a single Tetex_config
(an extra wrapper did not seem to serve any useful purpose).