Jay McCarthy f64d8a5280 Exposing MIME headers to user ... svn: r12431		2008-11-13 21:25:13 +00:00
..
lang-servlets	Abstracting HTTP code to sub-module	2008-11-12 18:44:29 +00:00
servlets	Exposing MIME headers to user	2008-11-13 21:25:13 +00:00
error.css	In response to the tutorial thread, I've merge in plai/web and instaservlet into the main repository. web-server/servlet-env can now provide most of the instaservlet functionality. web-server/insta provides the functionality of plai/web, inconcert with web-server/servlet-env. managers/lru is more useful with a default threshold-based manager. The default error handling is that of plai/web.	2008-08-14 19:45:35 +00:00
index.html	Modernizing defaults	2008-10-29 22:30:22 +00:00
plt-logo.gif	Modernizing defaults	2008-10-29 22:30:22 +00:00