author | Adam Chlipala <adamc@hcoop.net> | |
Wed, 22 Sep 2004 02:37:00 +0000 (02:37 +0000) | ||
committer | Adam Chlipala <adamc@hcoop.net> | |
Wed, 22 Sep 2004 02:37:00 +0000 (02:37 +0000) |
BUILDING | patch | blob | blame | history | |
build | patch | blob | blame | history | |
install | patch | blob | blame | history | |
settings | [new file with mode: 0644] | patch | blob |
settings.sml | [moved from src/settings.sml with 92% similarity] | patch | blob | blame | history |
src/.cvsignore | patch | blob | blame | history | |
src/config.sml | patch | blob | blame | history | |
src/sources.cm | patch | blob | blame | history |