5 Commits

Author	SHA1	Message	Date
interp	61fc543af2	Rename SERVLET --> SURFLET	2003-01-19 16:57:27 +00:00
interp	d705974612	Remove checkbox-bug	2002-12-07 22:27:02 +00:00
interp	fb75cd4efe	Add infrastructure for saving default values in get-results.	2002-11-09 17:17:14 +00:00
interp	555af5225d	removed bug in MAKE-YES-NO	2002-11-05 22:20:59 +00:00
interp	d026036bf3	Simple servlet api adopted from PLT. Example included	2002-11-03 17:43:58 +00:00