1 print real = Util.printReal
2 print int = Util.printInt
9 pub /afs/hcoop.net/user/h/hc/hcoop/portal-tools/cgi/portal
13 cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/smlsql.cm
14 cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm