/radio/ethz/idl/gen/decconvert.pro
/radio/ethz/idl/gen/error.pro
/radio/ethz/idl/gen/ethz_xchoice.pro
/radio/ethz/idl/gen/findbreaks.pro
/radio/ethz/idl/gen/general_menu.pro
/radio/ethz/idl/gen/general_menu_old.pro
/radio/ethz/idl/gen/getwnr.pro
/radio/ethz/idl/gen/hmsconvert.pro
/radio/ethz/idl/gen/int2str.pro
/radio/ethz/idl/gen/isdigit.pro
/radio/ethz/idl/gen/mdisp.pro
/radio/ethz/idl/gen/pto.pro
/radio/ethz/idl/gen/puthms.pro
/radio/ethz/idl/gen/read_test.pro
/radio/ethz/idl/gen/strep.pro
/radio/ethz/idl/gen/stress.pro
/radio/ethz/idl/gen/vectcmp.pro
/radio/ethz/idl/gen/x_tvmenu.pro