after after
exn exn
-out /home/hcoop/public_html/src/hcoop/out
-pub /var/www/users.hcoop.net/cgi/hcoop
+out out
+pub /afs/hcoop.net/user/h/hc/hcoop/portal-tools/cgi/portal
-cm /usr/local/share/smlsql/smlsql.cm
-cm /usr/local/share/smlsql/libpq/sources.cm
+cm $/smlnj-lib.cm
+cm $c/c.cm
+cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/smlsql.cm
+cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm