Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-23 14:20:40 -0700 (Mon, 23 May 2005)
Revision: 1057
Log message:
Be careful about closing files before ExitException.
| Changes | Path |
| +5 -3 | omake/doc/html/omake.html |
| +12 -6 | omake/src/eval/omake_rule.ml |