Eli Barzilay 5937a488ea * removed useless name from info ... * docs build into user-specific directory so they're not a problem with not including this in the distribution. * misc doc improvements * renamed handin-server.ss to main.ss * basic operation is fine with v4 svn: r8716		2008-02-19 08:27:09 +00:00
..
overridden-collects	* Added `sandbox-override-collection-paths' to allow a local library overrides	2007-01-23 20:18:16 +00:00
private	v3.99.0.2	2007-11-13 12:40:00 +00:00
scribblings	many imrovements	2008-02-18 19:44:13 +00:00
status-web-root	remove accidental debugging line	2007-09-27 02:32:57 +00:00
checker.ss	* removed useless name from info	2008-02-19 08:27:09 +00:00
info.ss	* removed useless name from info	2008-02-19 08:27:09 +00:00
main.ss	* removed useless name from info	2008-02-19 08:27:09 +00:00
private-key.pem	handin server/client fixup	2005-08-16 20:17:55 +00:00
sandbox.ss	fix sandbox settings (global, not local to first thread)	2007-10-17 03:07:31 +00:00
utils.ss	removed the tweaker hack for a solution that creates a new exception	2007-01-24 07:52:51 +00:00
web-status-server.ss	* removed useless name from info	2008-02-19 08:27:09 +00:00