Hello, The ArgEnv package is now supported and there's a new version. See <http://www.cs.kun.nl/~clean/argenv.html>. Cheers, Ronny Wichers Schreur