Apt package installation querying of dispatcher
[hcoop/domtool2.git] / src / main-admin.sml
2007-02-21 Adam ChlipalaApt package installation querying of dispatcher
2007-02-12 Adam Chlipalainit.d script for domtool-slave
2007-02-12 Adam Chlipala/etc/init.d script for domtool-server
2007-02-11 Adam ChlipalaAdd shutdown command
2006-12-21 Adam ChlipalaStart of DBMS support
2006-12-16 Adam ChlipalaAdd rmuser command
2006-12-16 Adam ChlipalaRmuser
2006-12-15 Adam ChlipalaPreliminary regeneration support
2006-12-15 Adam ChlipalaBe more cautious creating log directories
2006-12-14 Adam Chlipalawhohas
2006-12-14 Adam ChlipalaListing permissions
2006-12-14 Adam ChlipalaPermission revocation
2006-12-14 Adam ChlipalaPrivilege setting code