AFAIK nobody uses lang/twelf any more, and it relies on smlnj which is not really maintained and doesn't work on 64-bit platforms. And, it doesn't build and hasn't for years. Therefore, I suggest: remove lang/twelf... unless anyone objects, immediately after branching. -- David A. Holland dholland%netbsd.org@localhost