Start of Apache
authorAdam Chlipala <adamc@hcoop.net>
Sun, 6 Aug 2006 19:58:18 +0000 (19:58 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 6 Aug 2006 19:58:18 +0000 (19:58 +0000)
commit8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c
tree441ecf0775712073d0cfd6fb1adadf525478ce1c
parent12adf55a902b1d9bde677e4636530e5753857e05
Start of Apache
22 files changed:
configDefault/apache.cfg [new file with mode: 0644]
configDefault/apache.cfs [new file with mode: 0644]
configDefault/apache.csg [new file with mode: 0644]
configDefault/domtool.cfg
configDefault/domtool.cfs
lib/apache.dtl [new file with mode: 0644]
lib/base.dtl
lib/domain.dtl
src/domain.sig
src/domain.sml
src/domtool.cm
src/env.sig
src/env.sml
src/eval.sml
src/main.sig
src/main.sml
src/plugins/apache.sig [new file with mode: 0644]
src/plugins/apache.sml [new file with mode: 0644]
src/plugins/exim.sml
src/print.sml
src/tycheck.sml
tests/testApache.dtl [new file with mode: 0644]