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