hcoop/domtool2.git
13 years agoRan successful client/server interaction on deleuze
Adam Chlipala [Sat, 9 Dec 2006 18:11:13 +0000 (18:11 +0000)]
Ran successful client/server interaction on deleuze

13 years agoNow builds with MLton
Adam Chlipala [Sat, 9 Dec 2006 02:41:53 +0000 (02:41 +0000)]
Now builds with MLton

13 years agoChanges before announcement to hcoop-discuss
Adam Chlipala [Wed, 6 Sep 2006 03:22:45 +0000 (03:22 +0000)]
Changes before announcement to hcoop-discuss

13 years agoAdd nice header/footer for autodoc
Adam Chlipala [Mon, 4 Sep 2006 01:05:13 +0000 (01:05 +0000)]
Add nice header/footer for autodoc

13 years agoGenerate autodoc index with SML/NJ HTML lib
Adam Chlipala [Mon, 4 Sep 2006 00:49:06 +0000 (00:49 +0000)]
Generate autodoc index with SML/NJ HTML lib

13 years agoBasic HTML documentation generation
Adam Chlipala [Mon, 4 Sep 2006 00:31:55 +0000 (00:31 +0000)]
Basic HTML documentation generation

13 years agoSlave dispatching working
Adam Chlipala [Sun, 3 Sep 2006 22:27:30 +0000 (22:27 +0000)]
Slave dispatching working

13 years agoServer executing client's requested configuration with the right permissions
Adam Chlipala [Sun, 3 Sep 2006 19:38:36 +0000 (19:38 +0000)]
Server executing client's requested configuration with the right permissions

13 years agoServer gets client's CN
Adam Chlipala [Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)]
Server gets client's CN

13 years agoServer gets client's CN
Adam Chlipala [Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)]
Server gets client's CN

13 years agoSSL interaction with client checking server's CN
Adam Chlipala [Sun, 3 Sep 2006 03:12:57 +0000 (03:12 +0000)]
SSL interaction with client checking server's CN

13 years agoBasic SSL connection going
Adam Chlipala [Sun, 3 Sep 2006 02:03:55 +0000 (02:03 +0000)]
Basic SSL connection going

13 years agoBasic client/server thing going on with unencrypted OpenSSL
Adam Chlipala [Sat, 2 Sep 2006 19:52:07 +0000 (19:52 +0000)]
Basic client/server thing going on with unencrypted OpenSSL

13 years agoSimple OpenSSL stuff in SML/NJ
Adam Chlipala [Sat, 2 Sep 2006 18:10:21 +0000 (18:10 +0000)]
Simple OpenSSL stuff in SML/NJ

13 years agoMailman and Bind fixes
Adam Chlipala [Sun, 27 Aug 2006 03:17:14 +0000 (03:17 +0000)]
Mailman and Bind fixes

13 years agoWebalizer
Adam Chlipala [Sat, 26 Aug 2006 23:32:36 +0000 (23:32 +0000)]
Webalizer

13 years agomod_autoindex
Adam Chlipala [Sat, 26 Aug 2006 22:36:55 +0000 (22:36 +0000)]
mod_autoindex

13 years agomod_dav
Adam Chlipala [Sat, 26 Aug 2006 21:53:55 +0000 (21:53 +0000)]
mod_dav

13 years agoAdd Apache logging
Adam Chlipala [Sat, 26 Aug 2006 21:45:03 +0000 (21:45 +0000)]
Add Apache logging

13 years agoMore Apache directory option stuff
Adam Chlipala [Mon, 7 Aug 2006 04:02:12 +0000 (04:02 +0000)]
More Apache directory option stuff

13 years agoApache auth
Adam Chlipala [Mon, 7 Aug 2006 03:40:49 +0000 (03:40 +0000)]
Apache auth

13 years agoServerAlias
Adam Chlipala [Mon, 7 Aug 2006 03:11:10 +0000 (03:11 +0000)]
ServerAlias

13 years agoApache directory options
Adam Chlipala [Mon, 7 Aug 2006 02:53:28 +0000 (02:53 +0000)]
Apache directory options

13 years agoURL handling
Adam Chlipala [Sun, 6 Aug 2006 22:11:40 +0000 (22:11 +0000)]
URL handling

13 years agoLocation and Directory
Adam Chlipala [Sun, 6 Aug 2006 21:49:23 +0000 (21:49 +0000)]
Location and Directory

13 years agoChanged ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 21:33:32 +0000 (21:33 +0000)]
Changed ProxyPass

13 years agomod_rewrite and ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 21:08:33 +0000 (21:08 +0000)]
mod_rewrite and ProxyPass

13 years agoStart of Apache
Adam Chlipala [Sun, 6 Aug 2006 19:58:18 +0000 (19:58 +0000)]
Start of Apache

13 years agoACLs
Adam Chlipala [Sun, 6 Aug 2006 17:14:04 +0000 (17:14 +0000)]
ACLs

13 years agoBetter DNS slave handling
Adam Chlipala [Sun, 6 Aug 2006 02:49:48 +0000 (02:49 +0000)]
Better DNS slave handling

13 years agoAdded concept of multiple nodes
Adam Chlipala [Sun, 6 Aug 2006 02:28:41 +0000 (02:28 +0000)]
Added concept of multiple nodes

13 years agoBIND
Adam Chlipala [Sat, 5 Aug 2006 21:07:53 +0000 (21:07 +0000)]
BIND

13 years agoMore Exim stuff
Adam Chlipala [Sun, 30 Jul 2006 22:29:22 +0000 (22:29 +0000)]
More Exim stuff

13 years agoSlaves and Exim
Adam Chlipala [Sun, 30 Jul 2006 22:00:16 +0000 (22:00 +0000)]
Slaves and Exim

13 years agoRefactoring plugins
Adam Chlipala [Sun, 30 Jul 2006 21:17:35 +0000 (21:17 +0000)]
Refactoring plugins

13 years agoEvaluating a test with automatic inclusion of basis
Adam Chlipala [Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)]
Evaluating a test with automatic inclusion of basis

13 years agoDependency ordering
Adam Chlipala [Sun, 30 Jul 2006 19:06:07 +0000 (19:06 +0000)]
Dependency ordering

13 years agoE-mail aliases
Adam Chlipala [Sun, 30 Jul 2006 17:33:07 +0000 (17:33 +0000)]
E-mail aliases

13 years agoAdd LICENSE
Adam Chlipala [Sun, 30 Jul 2006 15:51:49 +0000 (15:51 +0000)]
Add LICENSE

13 years agoFix indentation in GPL headers
Adam Chlipala [Sun, 30 Jul 2006 15:50:33 +0000 (15:50 +0000)]
Fix indentation in GPL headers

13 years agoCompile-time configuration infrastructure
Adam Chlipala [Sun, 30 Jul 2006 15:28:27 +0000 (15:28 +0000)]
Compile-time configuration infrastructure

13 years agoAdd primitive action handlers
Adam Chlipala [Sun, 30 Jul 2006 15:03:38 +0000 (15:03 +0000)]
Add primitive action handlers

13 years agoCustom base types
Adam Chlipala [Sun, 30 Jul 2006 01:26:25 +0000 (01:26 +0000)]
Custom base types

13 years agoReduction
Adam Chlipala [Sun, 30 Jul 2006 01:12:01 +0000 (01:12 +0000)]
Reduction

13 years agoDomains example
Adam Chlipala [Sun, 30 Jul 2006 00:33:53 +0000 (00:33 +0000)]
Domains example

13 years agoType-checking goodies in place
Adam Chlipala [Sat, 29 Jul 2006 23:24:08 +0000 (23:24 +0000)]
Type-checking goodies in place

13 years agoTypechecking for basic language done
Adam Chlipala [Sat, 29 Jul 2006 20:33:22 +0000 (20:33 +0000)]
Typechecking for basic language done

13 years agoBasic type-checking
Adam Chlipala [Sat, 29 Jul 2006 19:44:25 +0000 (19:44 +0000)]
Basic type-checking

13 years agoPretty-printing
Adam Chlipala [Mon, 24 Jul 2006 17:05:29 +0000 (17:05 +0000)]
Pretty-printing

13 years agoParsing has never been this much fun
Adam Chlipala [Mon, 24 Jul 2006 00:39:07 +0000 (00:39 +0000)]
Parsing has never been this much fun

13 years agoParsing expressions
Adam Chlipala [Sun, 23 Jul 2006 23:57:40 +0000 (23:57 +0000)]
Parsing expressions