HCoop / hcoop / zz_old / domtool2-proto.git / blame
| Commit | Line | Data |
|---|---|---|
| 9fc2614f | 1 | errormsg.sig |
| 2 | errormsg.sml | |
| 3 | ||
| 4 | dataStructures.sml | |
| 5 | ||
| 6 | ast.sml | |
| 7 | ||
| 3410e495 | 8 | configTypes.sml |
| 9 | ||
| 333d26a4 | 10 | ../configDefault/config.sig |
| 11 | ../configDefault/configDefault.sml | |
| 12 | ||
| 13 | ../config.sml | |
| 14 | ||
| 9fc2614f | 15 | domtool.grm |
| c342e144 | 16 | domtool.lex |
| ccc91989 | 17 | |
| 18 | parse.sig | |
| 19 | parse.sml | |
| 7d3ae99f | 20 | |
| 21 | print.sig | |
| 22 | print.sml | |
| 64014a03 | 23 | |
| add6f172 | 24 | env.sig |
| 25 | env.sml | |
| 26 | ||
| 64014a03 | 27 | tycheck.sig |
| 28 | tycheck.sml | |
| e680130a | 29 | |
| add6f172 | 30 | reduce.sig |
| 31 | reduce.sml | |
| 32 | ||
| a11c0ff3 | 33 | eval.sig |
| 34 | eval.sml | |
| 35 | ||
| 4264c8ef | 36 | baseTypes.sig |
| 37 | baseTypes.sml | |
| 38 | ||
| 4e8a3f2b | 39 | acl.sig |
| 40 | acl.sml | |
| 41 | ||
| c12828f2 | 42 | slave.sig |
| 43 | slave.sml | |
| 44 | ||
| 53d222a3 | 45 | defaults.sig |
| 46 | defaults.sml | |
| 47 | ||
| c342e144 | 48 | openssl.sig |
| 49 | openssl.sml | |
| 50 | ||
| 2bc895e7 | 51 | client.sig |
| 52 | client.sml | |
| 53 | ||
| 634d7082 | 54 | dbms.sig |
| 55 | dbms.sml | |
| 56 | ||
| d330d9b8 | 57 | msgTypes.sml |
| 58 | msg.sig | |
| 59 | msg.sml | |
| 60 | ||
| a11c0ff3 | 61 | domain.sig |
| 62 | domain.sml | |
| 63 | ||
| 1f53f82b | 64 | plugins/alias.sig |
| 65 | plugins/alias.sml | |
| 66 | ||
| 67 | plugins/exim.sig | |
| 68 | plugins/exim.sml | |
| 2f68506c | 69 | |
| 85af7d3e | 70 | plugins/bind.sig |
| 71 | plugins/bind.sml | |
| 72 | ||
| d68ab27c | 73 | plugins/apache.sig |
| 74 | plugins/apache.sml | |
| 75 | ||
| e1cb845e | 76 | plugins/webalizer.sig |
| 77 | plugins/webalizer.sml | |
| 78 | ||
| 94a7e258 | 79 | plugins/mailman.sig |
| 80 | plugins/mailman.sml | |
| 81 | ||
| ef2bcbb5 | 82 | plugins/hcoop.sig |
| 83 | plugins/hcoop.sml | |
| 84 | ||
| 634d7082 | 85 | plugins/postgres.sig |
| 86 | plugins/postgres.sml | |
| 87 | ||
| d2583946 | 88 | plugins/mysql.sig |
| 89 | plugins/mysql.sml | |
| 90 | ||
| 8301e970 | 91 | plugins/apt.sig |
| 92 | plugins/apt.sml | |
| 93 | ||
| 891b033c | 94 | plugins/cron.sig |
| 95 | plugins/cron.sml | |
| 96 | ||
| 97 | plugins/ftp.sig | |
| 98 | plugins/ftp.sml | |
| 99 | ||
| 4ee81d53 | 100 | plugins/trustedPath.sig |
| 101 | plugins/trustedPath.sml | |
| 102 | ||
| 9f063ecc | 103 | plugins/socketPerm.sig |
| 104 | plugins/socketPerm.sml | |
| 105 | ||
| 5514f5b5 | 106 | plugins/firewall.sig |
| 107 | plugins/firewall.sml | |
| 108 | ||
| c45f1662 | 109 | mail/vmail.sig |
| 110 | mail/vmail.sml | |
| 111 | ||
| bb8cc8c9 | 112 | mail/setsa.sig |
| 113 | mail/setsa.sml | |
| 114 | ||
| c685120e | 115 | mail/smtplog.sig |
| 116 | mail/smtplog.sml | |
| 117 | ||
| 51c32b45 | 118 | order.sig |
| 119 | order.sml | |
| 120 | ||
| 91c5a390 | 121 | htmlPrint.sig |
| 122 | htmlPrint.sml | |
| 123 | ||
| 124 | autodoc.sig | |
| 125 | autodoc.sml | |
| 126 | ||
| e680130a | 127 | main.sig |
| 128 | main.sml |