Eli Barzilay 761c816280 Renamed tool.ss tp client-gui.ss -- the handin client is very useful ... as part of a course package, so a less generic name is better. svn: r996		2005-10-06 06:37:40 +00:00
..
client-gui.ss	Renamed tool.ss tp client-gui.ss -- the handin client is very useful	2005-10-06 06:37:40 +00:00
client.ss	* The protocol is changed, so its identifier is changed for safety	2005-10-06 06:32:25 +00:00
icon.png	handin icon and doc fixes	2005-08-22 18:45:51 +00:00
info.ss	Renamed tool.ss tp client-gui.ss -- the handin client is very useful	2005-10-06 06:37:40 +00:00
server-cert.pem	handin server/client fixup	2005-08-16 20:17:55 +00:00