summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Adam Chlipala [Mon, 7 Aug 2006 03:40:49 +0000 (03:40 +0000)]
Apache auth
Adam Chlipala [Mon, 7 Aug 2006 03:11:10 +0000 (03:11 +0000)]
ServerAlias
Adam Chlipala [Mon, 7 Aug 2006 02:53:28 +0000 (02:53 +0000)]
Apache directory options
Adam Chlipala [Sun, 6 Aug 2006 22:11:40 +0000 (22:11 +0000)]
URL handling
Adam Chlipala [Sun, 6 Aug 2006 21:49:23 +0000 (21:49 +0000)]
Location and Directory
Adam Chlipala [Sun, 6 Aug 2006 21:33:32 +0000 (21:33 +0000)]
Changed ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 21:08:33 +0000 (21:08 +0000)]
mod_rewrite and ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 19:58:18 +0000 (19:58 +0000)]
Start of Apache
Adam Chlipala [Sun, 6 Aug 2006 17:14:04 +0000 (17:14 +0000)]
ACLs
Adam Chlipala [Sun, 6 Aug 2006 02:49:48 +0000 (02:49 +0000)]
Better DNS slave handling
Adam Chlipala [Sun, 6 Aug 2006 02:28:41 +0000 (02:28 +0000)]
Added concept of multiple nodes
Adam Chlipala [Sat, 5 Aug 2006 21:07:53 +0000 (21:07 +0000)]
BIND
Adam Chlipala [Sun, 30 Jul 2006 22:29:22 +0000 (22:29 +0000)]
More Exim stuff
Adam Chlipala [Sun, 30 Jul 2006 22:00:16 +0000 (22:00 +0000)]
Slaves and Exim
Adam Chlipala [Sun, 30 Jul 2006 21:17:35 +0000 (21:17 +0000)]
Refactoring plugins
Adam Chlipala [Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)]
Evaluating a test with automatic inclusion of basis
Adam Chlipala [Sun, 30 Jul 2006 19:06:07 +0000 (19:06 +0000)]
Dependency ordering
Adam Chlipala [Sun, 30 Jul 2006 17:33:07 +0000 (17:33 +0000)]
E-mail aliases
Adam Chlipala [Sun, 30 Jul 2006 15:51:49 +0000 (15:51 +0000)]
Add LICENSE
Adam Chlipala [Sun, 30 Jul 2006 15:50:33 +0000 (15:50 +0000)]
Fix indentation in GPL headers
Adam Chlipala [Sun, 30 Jul 2006 15:28:27 +0000 (15:28 +0000)]
Compile-time configuration infrastructure
Adam Chlipala [Sun, 30 Jul 2006 15:03:38 +0000 (15:03 +0000)]
Add primitive action handlers
Adam Chlipala [Sun, 30 Jul 2006 01:26:25 +0000 (01:26 +0000)]
Custom base types
Adam Chlipala [Sun, 30 Jul 2006 01:12:01 +0000 (01:12 +0000)]
Reduction
Adam Chlipala [Sun, 30 Jul 2006 00:33:53 +0000 (00:33 +0000)]
Domains example
Adam Chlipala [Sat, 29 Jul 2006 23:24:08 +0000 (23:24 +0000)]
Type-checking goodies in place
Adam Chlipala [Sat, 29 Jul 2006 20:33:22 +0000 (20:33 +0000)]
Typechecking for basic language done
Adam Chlipala [Sat, 29 Jul 2006 19:44:25 +0000 (19:44 +0000)]
Basic type-checking
Adam Chlipala [Mon, 24 Jul 2006 17:05:29 +0000 (17:05 +0000)]
Pretty-printing
Adam Chlipala [Mon, 24 Jul 2006 00:39:07 +0000 (00:39 +0000)]
Parsing has never been this much fun
Adam Chlipala [Sun, 23 Jul 2006 23:57:40 +0000 (23:57 +0000)]
Parsing expressions