HCoop Git - hcoop/domtool2.git/search

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