Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-12-29 19:03:47 -0800 (Tue, 29 Dec 1998)
Revision: 2530
Log message:
Added pigeonhole generator.
Changes | Path |
Added | metaprl/editor/ml/pigeon.ml |
Properties | metaprl/editor/ml/pigeon.ml |
+743 -22 | metaprl/editor/ml/test.ml |