I am hosting the materials on http://tunes.org/~water/maude2/ for now. This is unofficial, really, although the included GPL notice is totally applicable. It's just probably going to have some bugs left in there until July or so. -- Brian T. Rice LOGOS Research and Development http://tunes.org/~water/