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