HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 095de39) | patch
Evaluating a test with automatic inclusion of basis
authorAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)
commitd189ec0eee8569e5811335e7fc93a921e14c2b1f
tree75f3d52a69a146ec30a7f9237b9e3437f6a8db12tree | snapshot (tar.gz zip)
parent095de39e1be653dcb6438d19c719bd7797e0772acommit | diff
Evaluating a test with automatic inclusion of basis
configDefault/domtool.cfg diff | blob | blame | history
configDefault/domtool.cfs diff | blob | blame | history
lib/alias.dtl diff | blob | blame | history
src/main.sig diff | blob | blame | history
src/main.sml diff | blob | blame | history
tests/domain2.dtl diff | blob | blame | history
tests/testAlias.dtl [new file with mode: 0644] blob
Unnamed repository; edit this file to name it for gitweb.