Eli Barzilay b4dd7515c4 misc improvements ... svn: r7189		2007-08-27 00:50:44 +00:00
..
private	make a launcher for standalone help-desk server, option for port number to listen on	2007-08-26 06:15:45 +00:00
servlets	misc improvements	2007-08-27 00:50:44 +00:00
web-root/conf	Adding collects, with all the right properties (except eoln-style).	2005-05-27 18:56:37 +00:00
bug-report.ss	remove quoted-printable experiment in bug-report submission	2007-06-16 22:07:56 +00:00
doc.txt	adapted repl to new prompt stuff, fixed minor other things along the way	2006-12-24 20:55:33 +00:00
help-desk-server.ss	re-added shutdown	2007-08-26 14:45:17 +00:00
help-desk.ss	Changed back to internal-browser-simple to mimick the old HelpDesk.	2007-08-26 17:02:31 +00:00
help.creator	Adding collects, with all the right properties (except eoln-style).	2005-05-27 18:56:37 +00:00
help.icns	Adding collects, with all the right properties (except eoln-style).	2005-05-27 18:56:37 +00:00
help.ico	Adding collects, with all the right properties (except eoln-style).	2005-05-27 18:56:37 +00:00
help.ss	fixed PRs 7783 7785	2005-12-31 14:23:49 +00:00
info.ss	make a launcher for standalone help-desk server, option for port number to listen on	2007-08-26 06:15:45 +00:00
installer.ss	The installer no longer outputs any #<path:...> into hdindex.	2007-08-26 15:25:40 +00:00
refresh-manuals.ss	301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss	2006-05-18 15:03:05 +00:00