hcoop-cvs  

Messages by Thread

• [hcoop-cvs] domtool2/configDefault domtool.cfg, 1.39, 1.40 exim.cfg, 1.9, 1.10 Adam Chlipala
• [hcoop-cvs] misc/scripts ca-install, 1.1, 1.2 ca-sign, 1.2, 1.3 check_apache, 1.2, 1.3 create-user, 1.41, 1.42 hcoop-all-db-backup, 1.1, 1.2 hcoop-backup, 1.11, 1.12 hcoop-backup-wrapper, 1.1, 1.2 listnew, 1.4, 1.5 Davor Ocelic
• [hcoop-cvs] domtool2/pcre/mlton libpcre-h.sml,1.4,1.5 Davor Ocelic
• [hcoop-cvs] domtool2/pcre/smlnj libpcre-h.sml,1.2,1.3 Davor Ocelic
• [hcoop-cvs] portal/app app.sml,1.16,1.17 Adam Chlipala
• [hcoop-cvs] domtool2/lib hcoop.dtl,1.8,1.9 Davor Ocelic
• [hcoop-cvs] domtool2/configDefault mailman.cfg,1.6,1.7 Adam Chlipala
• [hcoop-cvs] portal pledge.mlt,1.4,1.5 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.14,1.15 Adam Chlipala
• [hcoop-cvs] portal balance.sml,1.14,1.15 money.sml,1.18,1.19 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml,1.71,1.72 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault courier.cfg,1.3,1.4 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault courier.cfg, 1.2, 1.3 courier.csg, 1.1, 1.2 domtool.cfg, 1.38, 1.39 exim.cfg, 1.8, 1.9 mailman.cfg, 1.5, 1.6 Adam Chlipala
• [hcoop-cvs] domtool2/src/mail vmail.sig,1.4,1.5 vmail.sml,1.6,1.7 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sig, 1.24, 1.25 domain.sml, 1.70, 1.71 main.sml, 1.110, 1.111 msg.sml, 1.36, 1.37 msgTypes.sml, 1.35, 1.36 Adam Chlipala
• [hcoop-cvs] domtool2/openssl/mlton libssl-h.sml,1.2,1.3 Adam Chlipala
• [hcoop-cvs] domtool2/pcre/smlnj libpcre-h.sml,1.1,1.2 Adam Chlipala
• [hcoop-cvs] domtool2/openssl/smlnj libssl-h.sml,1.2,1.3 Adam Chlipala
• [hcoop-cvs] domtool2/pcre/mlton libpcre-h.sml,1.3,1.4 Adam Chlipala
• [hcoop-cvs] portal poll.mlt,1.11,1.12 poll.sml,1.9,1.10 Adam Chlipala
• [hcoop-cvs] portal poll.mlt, 1.10, 1.11 poll.sig, 1.4, 1.5 poll.sml, 1.8, 1.9 tables.sql, 1.32, 1.33 Adam Chlipala
• [hcoop-cvs] domtool2/elisp domtool-mode-startup.el,1.4,1.5 Adam Chlipala
• [hcoop-cvs] portal payment.mlt,1.6,1.7 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.31,1.32 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins easy_domain.sml,1.5,1.6 Adam Chlipala
• [hcoop-cvs] domtool2/lib mod_expires.dtl,NONE,1.1 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.84,1.85 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml, 1.69, 1.70 env.sig, 1.14, 1.15 env.sml, 1.15, 1.16 Adam Chlipala
• [hcoop-cvs] misc/scripts check_apache,1.1,1.2 Adam Chlipala
• [hcoop-cvs] misc/scripts change-user-password, 1.3, 1.4 hcoop-backup, 1.10, 1.11 make-account-for-fyodor-user, 1.9, 1.10 Davor Ocelic
• [hcoop-cvs] misc/scripts quotadisplay,1.1,1.2 Davor Ocelic
• [hcoop-cvs] misc/scripts create-user,1.40,1.41 Davor Ocelic
• [hcoop-cvs] misc/scripts quotacheck, NONE, 1.1 quotadisplay, NONE, 1.1 Davor Ocelic
• [hcoop-cvs] misc/scripts check_apache,NONE,1.1 Adam Chlipala
• [hcoop-cvs] portal passgen.mlt, NONE, 1.1 passgen.sig, NONE, 1.1 passgen.sml, NONE, 1.1 config.sig, 1.3, 1.4 config.sml, 1.6, 1.7 Adam Chlipala
• [hcoop-cvs] portal/passgen .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 after.mlt, NONE, 1.1 before.mlt, NONE, 1.1 config.sig, NONE, 1.1 config.sml, NONE, 1.1 exn.mlt, NONE, 1.1 mlt.conf, NONE, 1.1 passgen.mlt.in, NONE, 1.1 passgen.sig, NONE, 1.1 passgen.sml, NONE, 1.1 tables.sql, NONE, 1.1 Adam Chlipala
• [hcoop-cvs] portal/passgen/out .cvsignore,NONE,1.1 Adam Chlipala
• [hcoop-cvs] portal/passgen/out - New directory Adam Chlipala
• [hcoop-cvs] portal/passgen - New directory Adam Chlipala
• [hcoop-cvs] portal balance.sml,1.13,1.14 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sml,1.109,1.110 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sml,1.108,1.109 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-publish,1.24,1.25 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.83,1.84 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sig, 1.23, 1.24 domain.sml, 1.68, 1.69 main-admin.sml, 1.26, 1.27 main.sig, 1.49, 1.50 main.sml, 1.107, 1.108 msg.sml, 1.35, 1.36 msgTypes.sml, 1.34, 1.35 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault apache.cfg, 1.23, 1.24 apache.csg, 1.15, 1.16 domtool.cfg, 1.37, 1.38 domtool.cfs, 1.27, 1.28 Adam Chlipala
• [hcoop-cvs] misc/scripts apache-sync-logs,1.14,1.15 Davor Ocelic
• [hcoop-cvs] portal ip.mlt,1.5,1.6 Adam Chlipala
• [hcoop-cvs] portal apt.mlt, 1.7, 1.8 cert.mlt, 1.8, 1.9 domain.mlt, 1.7, 1.8 ip.mlt, 1.4, 1.5 list.mlt, 1.12, 1.13 quota.mlt, 1.4, 1.5 request.sml, 1.5, 1.6 requestH.sml, 1.2, 1.3 sec.mlt, 1.14, 1.15 sign.mlt, 1.1, 1.2 Adam Chlipala
• [hcoop-cvs] portal/contact contact.sml,1.3,1.4 Adam Chlipala
• [hcoop-cvs] misc/scripts freeze,1.2,1.3 Davor Ocelic
• [hcoop-cvs] domtool2/src main.sml,1.106,1.107 Adam Chlipala
• [hcoop-cvs] portal ip.mlt,1.3,1.4 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins bind.sml,1.21,1.22 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins alias.sml, 1.6, 1.7 bind.sml, 1.20, 1.21 exim.sml, 1.10, 1.11 mailman.sml, 1.13, 1.14 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml,1.67,1.68 Adam Chlipala
• [hcoop-cvs] portal welcome.txt,1.6,1.7 Adam Chlipala
• [hcoop-cvs] portal app.sml,1.15,1.16 Adam Chlipala
• [hcoop-cvs] misc/scripts freeze,NONE,1.1 frozen_shell,NONE,1.1 Davor Ocelic
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.82,1.83 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-addcert,1.4,1.5 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-readdcerts, NONE, 1.1 domtool-addcert, 1.3, 1.4 domtool-addcert-daemon, 1.2, NONE Adam Chlipala
• [hcoop-cvs] domtool2 Makefile,1.45,1.46 Adam Chlipala
• [hcoop-cvs] domtool2 Makefile,1.44,1.45 Adam Chlipala
• [hcoop-cvs] domtool2/src/tail tail.sml,1.1,1.2 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-admin-sudo-noisy,1.1,NONE Adam Chlipala
• [hcoop-cvs] domtool2 Makefile,1.43,1.44 Adam Chlipala
• [hcoop-cvs] domtool2/src/tail tail.mlb,NONE,1.1 tail.sml,NONE,1.1 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-admin-sudo-noisy, NONE, 1.1 domtool-admin-sudo, 1.3, 1.4 Adam Chlipala
• [hcoop-cvs] domtool2/bin .cvsignore,1.13,1.14 Adam Chlipala
• [hcoop-cvs] domtool2/src/tail - New directory Adam Chlipala
• [hcoop-cvs] portal money.mlt, 1.33, 1.34 portal.mlt, 1.21, 1.22 util.sig, 1.14, 1.15 util.sml, 1.17, 1.18 Adam Chlipala
• [hcoop-cvs] portal money.mlt,1.32,1.33 portal.mlt,1.20,1.21 Adam Chlipala
• [hcoop-cvs] domtool2/lib apache.dtl, 1.16, 1.17 mod_rewrite.dtl, 1.7, 1.8 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.81,1.82 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml,1.66,1.67 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sig, 1.22, 1.23 domain.sml, 1.65, 1.66 main-client.sml, 1.10, 1.11 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.80,1.81 Adam Chlipala
• [hcoop-cvs] domtool2/src main-client.sml, 1.9, 1.10 main.sig, 1.48, 1.49 main.sml, 1.105, 1.106 Adam Chlipala
• [hcoop-cvs] portal money.mlt,1.31,1.32 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sml,1.104,1.105 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault domtool.cfg, 1.35, 1.36 domtool.cfs, 1.26, 1.27 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.30,1.31 Adam Chlipala
• [hcoop-cvs] portal support.mlt,1.8,1.9 Adam Chlipala
• [hcoop-cvs] portal payment.mlt,1.5,1.6 Adam Chlipala
• [hcoop-cvs] portal/app join.mlt,1.14,1.15 Adam Chlipala
• [hcoop-cvs] portal/app join.mlt,1.13,1.14 Adam Chlipala
• [hcoop-cvs] portal money.mlt, 1.30, 1.31 money.sig, 1.9, 1.10 money.sml, 1.17, 1.18 Adam Chlipala
• [hcoop-cvs] portal sec.mlt,1.13,1.14 Adam Chlipala
• [hcoop-cvs] portal sec.mlt,1.12,1.13 Adam Chlipala
• [hcoop-cvs] portal apps.mlt,1.17,1.18 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.79,1.80 Adam Chlipala
• [hcoop-cvs] portal money.mlt, 1.29, 1.30 money.sig, 1.8, 1.9 money.sml, 1.16, 1.17 Adam Chlipala
• [hcoop-cvs] portal money.sml,1.15,1.16 Adam Chlipala
• [hcoop-cvs] portal paid.txt,1.4,1.5 Adam Chlipala
• [hcoop-cvs] portal paid.txt,1.3,1.4 welcome.txt,1.5,1.6 Davor Ocelic
• [hcoop-cvs] domtool2/src acl.sig, 1.5, 1.6 acl.sml, 1.7, 1.8 main.sml, 1.103, 1.104 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.13,1.14 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.12,1.13 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.11,1.12 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.10,1.11 Adam Chlipala
• [hcoop-cvs] portal balance.sml, 1.12, 1.13 money.mlt, 1.28, 1.29 money.sig, 1.7, 1.8 money.sml, 1.14, 1.15 pledge.mlt, 1.3, 1.4 Adam Chlipala
• [hcoop-cvs] portal portal.mlt, 1.19, 1.20 stats.sig, 1.3, 1.4 stats.sml, 1.5, 1.6 Adam Chlipala
• [hcoop-cvs] portal apps.mlt,1.16,1.17 Adam Chlipala
• [hcoop-cvs] portal money.mlt,1.25,1.26 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins domtool-postgres,1.7,1.8 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins domtool-postgres, 1.6, 1.7 mysql.sml, 1.6, 1.7 postgres.sml, 1.7, 1.8 Adam Chlipala
• [hcoop-cvs] domtool2/src dbms.sig, 1.6, 1.7 dbms.sml, 1.7, 1.8 main-dbtool.sml, 1.7, 1.8 main.sig, 1.47, 1.48 main.sml, 1.102, 1.103 msg.sml, 1.34, 1.35 msgTypes.sml, 1.33, 1.34 Adam Chlipala
• [hcoop-cvs] portal chooseDomain.mlt, NONE, 1.1 chooseDomain.sig, NONE, 1.1 chooseDomain.sml, NONE, 1.1 sign.mlt, NONE, 1.1 sign.sml, NONE, 1.1 cert.mlt, 1.7, 1.8 cert.sml, 1.1, 1.2 money.mlt, 1.24, 1.25 money.sig, 1.6, 1.7 money.sml, 1.13, 1.14 tables.sql, 1.31, 1.32 Adam Chlipala
• [hcoop-cvs] portal/contact contact.sml,1.2,1.3 Adam Chlipala
• [hcoop-cvs] portal location.sml,1.5,1.6 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.29,1.30 Adam Chlipala
• [hcoop-cvs] portal app.sml,1.14,1.15 payment.mlt,1.4,1.5 Adam Chlipala
• [hcoop-cvs] domtool2/lib hcoop.dtl,1.7,1.8 Michael Olson
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.28,1.29 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sml,1.101,1.102 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault domtool.cfg,1.34,1.35 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-publish,1.23,1.24 Adam Chlipala
• [hcoop-cvs] domtool2/lib alias.dtl, 1.8, 1.9 easy_domain.dtl, 1.27, 1.28 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.9,1.10 Adam Chlipala
• [hcoop-cvs] portal balance.sml, 1.11, 1.12 money.mlt, 1.23, 1.24 portal.mlt, 1.18, 1.19 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sig,1.46,1.47 main.sml,1.100,1.101 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.78,1.79 Adam Chlipala
• [hcoop-cvs] domtool2/lib hcoop.dtl,1.6,1.7 Adam Chlipala
• [hcoop-cvs] domtool2/src describe.sml,1.5,1.6 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl, 1.26, 1.27 hcoop.dtl, 1.5, 1.6 Adam Chlipala
• [hcoop-cvs] domtool2/src describe.sml, 1.4, 1.5 tycheck.sml, 1.22, 1.23 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins easy_domain.sml,1.4,1.5 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.25,1.26 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins easy_domain.sml,1.3,1.4 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.77,1.78 Adam Chlipala
• [hcoop-cvs] domtool2/lib apache.dtl,1.15,1.16 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml, 1.64, 1.65 main-admin.sml, 1.25, 1.26 main.sml, 1.99, 1.100 openssl.sig, 1.6, 1.7 openssl.sml, 1.10, 1.11 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.24,1.25 Adam Chlipala
• [hcoop-cvs] domtool2/src domtool.grm,1.17,1.18 main.sml,1.98,1.99 Adam Chlipala
• [hcoop-cvs] domtool2/src autodoc.sml, 1.8, 1.9 defaults.sig, 1.1, 1.2 defaults.sml, 1.1, 1.2 domtool.grm, 1.16, 1.17 eval.sml, 1.9, 1.10 main-client.sml, 1.8, 1.9 main.sig, 1.45, 1.46 main.sml, 1.97, 1.98 Adam Chlipala
• [hcoop-cvs] domtool2/src order.sml,1.8,1.9 Adam Chlipala
• [hcoop-cvs] domtool2/src order.sml,1.7,1.8 Adam Chlipala
• [hcoop-cvs] portal poll.mlt, 1.9, 1.10 poll.sig, 1.3, 1.4 poll.sml, 1.7, 1.8 tables.sql, 1.30, 1.31 Adam Chlipala
• [hcoop-cvs] portal money.mlt, 1.22, 1.23 money.sig, 1.5, 1.6 money.sml, 1.12, 1.13 Adam Chlipala
• [hcoop-cvs] domtool2/lib bind.dtl, 1.6, 1.7 easy_domain.dtl, 1.23, 1.24 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins bind.sml,1.19,1.20 Adam Chlipala
• [hcoop-cvs] portal app.sig, 1.7, 1.8 app.sml, 1.13, 1.14 apps.mlt, 1.15, 1.16 init.sml, 1.25, 1.26 money.mlt, 1.21, 1.22 portal.mlt, 1.17, 1.18 users.mlt, 1.14, 1.15 Adam Chlipala
• [hcoop-cvs] portal/app app.sig, 1.5, 1.6 app.sml, 1.15, 1.16 join.mlt, 1.12, 1.13 Adam Chlipala
• [hcoop-cvs] portal mail.sml,1.5,1.6 Adam Chlipala
• [hcoop-cvs] portal/remind remind.sml,1.8,1.9 Adam Chlipala
• [hcoop-cvs] portal payment.mlt,1.3,1.4 Adam Chlipala
• [hcoop-cvs] portal balance.sig, 1.5, 1.6 balance.sml, 1.10, 1.11 init.sml, 1.24, 1.25 money.mlt, 1.20, 1.21 portal.mlt, 1.16, 1.17 util.sig, 1.13, 1.14 util.sml, 1.16, 1.17 Adam Chlipala
• [hcoop-cvs] domtool2/lib apache.dtl, 1.14, 1.15 hcoop.dtl, 1.4, 1.5 php.dtl, 1.1, 1.2 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.76,1.77 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault apache.cfg, 1.22, 1.23 apache.csg, 1.14, 1.15 Adam Chlipala
• [hcoop-cvs] domtool2/lib bind.dtl, 1.5, 1.6 easy_domain.dtl, 1.22, 1.23 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins bind.sml,1.18,1.19 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.75,1.76 Adam Chlipala
• [hcoop-cvs] domtool2/lib mod_autoindex.dtl,1.1,1.2 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.74,1.75 Adam Chlipala
• [hcoop-cvs] domtool2/lib mod_mime.dtl,NONE,1.1 Adam Chlipala
• [hcoop-cvs] portal/mailman portalsub.sml,1.3,1.4 Adam Chlipala
• [hcoop-cvs] portal pref.mlt,1.8,1.9 Adam Chlipala
• [hcoop-cvs] domtool2/scripts domtool-server, 1.5, 1.6 domtool-slave, 1.4, 1.5 Michael Olson
• [hcoop-cvs] domtool2/scripts domtool-server, 1.4, 1.5 domtool-slave, 1.3, 1.4 Michael Olson
• [hcoop-cvs] domtool2/scripts domtool-addacl, 1.4, 1.5 domtool-addcert, 1.2, 1.3 domtool-addcert-daemon, 1.1, 1.2 domtool-rmuser, 1.1, 1.2 Davor Ocelic
• [hcoop-cvs] portal poll.mlt,1.8,1.9 Adam Chlipala
• [hcoop-cvs] portal/contact contact.sml,1.1,1.2 Adam Chlipala
• [hcoop-cvs] portal/contact .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 contact.sh, NONE, 1.1 contact.sig, NONE, 1.1 contact.sml, NONE, 1.1 sources.cm, NONE, 1.1 Adam Chlipala
• [hcoop-cvs] portal/contact - New directory Adam Chlipala
• [hcoop-cvs] portal apps.mlt, 1.14, 1.15 apt.mlt, 1.6, 1.7 cert.mlt, 1.6, 1.7 domain.mlt, 1.6, 1.7 ip.mlt, 1.2, 1.3 list.mlt, 1.11, 1.12 quota.mlt, 1.3, 1.4 sec.mlt, 1.11, 1.12 util.sig, 1.12, 1.13 util.sml, 1.15, 1.16 Adam Chlipala
• [hcoop-cvs] portal apps.mlt, 1.13, 1.14 group.sig, 1.1.1.1, 1.2 group.sml, 1.9, 1.10 Adam Chlipala
• [hcoop-cvs] domtool2/lib php.dtl,NONE,1.1 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.73,1.74 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml,1.63,1.64 Adam Chlipala
• [hcoop-cvs] misc/scripts hcoop-backup,1.9,1.10 Michael Olson
• [hcoop-cvs] misc/scripts hcoop-backup-wrapper, NONE, 1.1 hcoop-backup, 1.8, 1.9 Michael Olson
• [hcoop-cvs] portal/remind remind.sml,1.7,1.8 Adam Chlipala
• [hcoop-cvs] domtool2/lib easy_domain.dtl,1.21,1.22 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins bind.sml,1.17,1.18 Adam Chlipala
• [hcoop-cvs] domtool2/lib bind.dtl,1.4,1.5 Adam Chlipala
• [hcoop-cvs] domtool2/src main.sml,1.96,1.97 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins alias.sml,1.5,1.6 Adam Chlipala
• [hcoop-cvs] portal domain.mlt,1.5,1.6 Adam Chlipala
• [hcoop-cvs] portal/app join.mlt,1.11,1.12 Adam Chlipala
• [hcoop-cvs] portal quota.mlt, 1.2, 1.3 quotas.sml, 1.2, 1.3 support.mlt, 1.7, 1.8 Adam Chlipala
• [hcoop-cvs] portal/static gen.sml,1.9,1.10 Adam Chlipala
• [hcoop-cvs] portal/app app.sml,1.14,1.15 Adam Chlipala
• [hcoop-cvs] portal support.mlt,1.6,1.7 Adam Chlipala
• [hcoop-cvs] misc/scripts hcoop-backup,1.7,1.8 Michael Olson
• [hcoop-cvs] portal quota.sml,1.1,1.2 Adam Chlipala
• [hcoop-cvs] portal header.mlt.in, 1.12, 1.13 quota.mlt, 1.1, 1.2 quotas.sml, 1.1, 1.2 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins bind.sml,1.16,1.17 Adam Chlipala
• [hcoop-cvs] domtool2/lib bind.dtl, 1.3, 1.4 easy_domain.dtl, 1.20, 1.21 Adam Chlipala
• [hcoop-cvs] domtool2/src main-dbtool.sml,1.6,1.7 Adam Chlipala
• [hcoop-cvs] domtool2/lib domain.dtl,1.22,1.23 Adam Chlipala
• [hcoop-cvs] domtool2/configDefault domtool.cfg,1.33,1.34 Adam Chlipala
• [hcoop-cvs] domtool2/src domain.sml,1.62,1.63 Adam Chlipala
• [hcoop-cvs] misc/scripts apache-sync-logs,1.13,1.14 Michael Olson
• [hcoop-cvs] misc/scripts apache-sync-logs,1.12,1.13 Michael Olson
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.72,1.73 Adam Chlipala
• [hcoop-cvs] domtool2/src/plugins apache.sml,1.71,1.72 Adam Chlipala
• [hcoop-cvs] domtool2/lib mod_cache.dtl,NONE,1.1 Adam Chlipala
• [hcoop-cvs] domtool2/lib apache.dtl,1.13,1.14 Adam Chlipala

• Earlier messages