Begin generation of public pages
authorAdam Chlipala <adamc@hcoop.net>
Tue, 26 Apr 2005 16:58:04 +0000 (16:58 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 26 Apr 2005 16:58:04 +0000 (16:58 +0000)
commit27e48ace692e2404e160a8949cb80b2f49a765be
treeb7d960962ca71700375c21f0152f92d45f7eaac0
parent9d1c0e98cf0324f769b9f05b83fe24c5cfcba7f6
Begin generation of public pages
12 files changed:
TODO
list.mlt
pref.mlt [new file with mode: 0644]
pref.sig [new file with mode: 0644]
pref.sml [new file with mode: 0644]
static/.cvsignore [new file with mode: 0644]
static/Makefile [new file with mode: 0644]
static/gen.sh [new file with mode: 0755]
static/gen.sig [new file with mode: 0644]
static/gen.sml [new file with mode: 0644]
static/sources.cm [new file with mode: 0644]
tables.sql