interp 13c001841b Various changes and improvements, namely: ... + added links to previous menus + removed some typos + admin-servlets: + make unload all work + improved machine-user dialog + calculate.scm: + numbers are restored, if operator is changed Sorry for this packed commit, but my ISP went down on weekend.		2002-10-21 08:38:46 +00:00
..
htdocs	minor changes	2002-10-21 08:26:50 +00:00
surflets	Various changes and improvements, namely:	2002-10-21 08:38:46 +00:00