Mercurial > urweb
comparison src/prefix.mlb @ 791:5368deb3764b
Use Ur/Web library .mlb
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 10 May 2009 10:13:41 -0400 |
parents | 502c6d622477 |
children |
comparison
equal
deleted
inserted
replaced
790:39bb3a830e90 | 791:5368deb3764b |
---|---|
1 $(SML_LIB)/basis/basis.mlb | 1 local |
2 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb | 2 $(SML_LIB)/basis/basis.mlb |
3 $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb | 3 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb |
4 $(SML_LIB)/smlnj-lib/PP/pp-lib.mlb | 4 $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb |
5 $(SML_LIB)/smlnj-lib/PP/pp-lib.mlb | |
6 in | |
5 | 7 |