Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-11-08 10:42:07 -0800 (Sat, 08 Nov 2003)
Revision: 254
Log message:
Added the cache index, but it isn't used yet.
Changes | Path |
+25 -9 | omake-branches/cache_index/src/ir/omake_cache.ml |
+12 -1 | omake-branches/cache_index/src/ir/omake_cache_type.ml |