Admin/isatest-settings
2005-09-17 ago tuned;
2005-06-30 ago use kleing@cse instead of kleing@in.tum.de
2005-06-30 ago use global settings for isatest-doc
2005-05-28 ago path /home/stud doesn't exist on macbroy33 (only /usr/stud)
2005-05-27 ago put global isatest settings in one file, sourced by the other scripts