HCoop Git - hcoop/domtool2.git/search

2006-12-16	Adam Chlipala	Full regeneration	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Preliminary regeneration support	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Proper handling of Apache log file deletion while Apache...	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Be more cautious creating log directories	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Multi-configuration support	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Fix problem noted by omry on original domtool; namely...	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Limiting acceptable mail nodes	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Limited DNS nodes	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Limiting acceptable web nodes	commit \| commitdiff \| tree
2006-12-15	Adam Chlipala	Fix 'home' bugs	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Add HCoop home directory extern function	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Add external functions called during reduction	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Omit empty ACL entries when saving	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	whohas	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Listing permissions	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Permission revocation	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Privilege setting code	commit \| commitdiff \| tree
2006-12-14	Adam Chlipala	Mothball SVN support	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Correct rsync invocation	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Correct rsync invocations	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	The execution permission dance	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	The execution permission dance	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Some scripts for reseting domtool state	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Correct locations of public_html	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Fix Webalizer path generation	commit \| commitdiff \| tree
2006-12-12	Adam Chlipala	Fix Webalizer LogFile directive printing	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Change Webalizer config to live in AFS	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Changing Apache log and Webalizer stuff	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Apache log directory creation	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Limit 'extern' to trusted code	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Zone serial number generation	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Serial number processing	commit \| commitdiff \| tree
2006-12-10	Adam Chlipala	Improve easy_domain	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Put in real reload commands for domtool-publish	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Fix BIND slave syntax	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Fix BIND syntax	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Change concatTo to use only local node's files	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Changing default slaves	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Correct path bug in domtool-publish apache	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Fix type-checking of nested config functions	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	ip_of_node support	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Continue on OS.SysErr in server loop	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Slave driver	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Proper username determination in requests	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Fixing user determination	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Fixing little bugs during first deleuze/mire test	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Change to domtool-publish script usage	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Ran successful client/server interaction on deleuze	commit \| commitdiff \| tree
2006-12-09	Adam Chlipala	Now builds with MLton	commit \| commitdiff \| tree
2006-09-06	Adam Chlipala	Changes before announcement to hcoop-discuss	commit \| commitdiff \| tree
2006-09-04	Adam Chlipala	Add nice header/footer for autodoc	commit \| commitdiff \| tree
2006-09-04	Adam Chlipala	Generate autodoc index with SML/NJ HTML lib	commit \| commitdiff \| tree
2006-09-04	Adam Chlipala	Basic HTML documentation generation	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	Slave dispatching working	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	Server executing client's requested configuration with...	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	Server gets client's CN	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	Server gets client's CN	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	SSL interaction with client checking server's CN	commit \| commitdiff \| tree
2006-09-03	Adam Chlipala	Basic SSL connection going	commit \| commitdiff \| tree
2006-09-02	Adam Chlipala	Basic client/server thing going on with unencrypted...	commit \| commitdiff \| tree
2006-09-02	Adam Chlipala	Simple OpenSSL stuff in SML/NJ	commit \| commitdiff \| tree
2006-08-27	Adam Chlipala	Mailman and Bind fixes	commit \| commitdiff \| tree
2006-08-26	Adam Chlipala	Webalizer	commit \| commitdiff \| tree
2006-08-26	Adam Chlipala	mod_autoindex	commit \| commitdiff \| tree
2006-08-26	Adam Chlipala	mod_dav	commit \| commitdiff \| tree
2006-08-26	Adam Chlipala	Add Apache logging	commit \| commitdiff \| tree
2006-08-07	Adam Chlipala	More Apache directory option stuff	commit \| commitdiff \| tree
2006-08-07	Adam Chlipala	Apache auth	commit \| commitdiff \| tree
2006-08-07	Adam Chlipala	ServerAlias	commit \| commitdiff \| tree
2006-08-07	Adam Chlipala	Apache directory options	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	URL handling	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	Location and Directory	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	Changed ProxyPass	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	mod_rewrite and ProxyPass	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	Start of Apache	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	ACLs	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	Better DNS slave handling	commit \| commitdiff \| tree
2006-08-06	Adam Chlipala	Added concept of multiple nodes	commit \| commitdiff \| tree
2006-08-05	Adam Chlipala	BIND	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	More Exim stuff	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Slaves and Exim	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Refactoring plugins	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Evaluating a test with automatic inclusion of basis	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Dependency ordering	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	E-mail aliases	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Add LICENSE	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Fix indentation in GPL headers	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Compile-time configuration infrastructure	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Add primitive action handlers	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Custom base types	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Reduction	commit \| commitdiff \| tree
2006-07-30	Adam Chlipala	Domains example	commit \| commitdiff \| tree
2006-07-29	Adam Chlipala	Type-checking goodies in place	commit \| commitdiff \| tree
2006-07-29	Adam Chlipala	Typechecking for basic language done	commit \| commitdiff \| tree
2006-07-29	Adam Chlipala	Basic type-checking	commit \| commitdiff \| tree
2006-07-24	Adam Chlipala	Pretty-printing	commit \| commitdiff \| tree
2006-07-24	Adam Chlipala	Parsing has never been this much fun	commit \| commitdiff \| tree
2006-07-23	Adam Chlipala	Parsing expressions	commit \| commitdiff \| tree

Unnamed repository; edit this file to name it for gitweb.

RSS Atom