echo "files"
echo "1 main"
echo "2 mine"
echo "3 defs"
echo "4 global_vars"
echo "5 globals_init"
echo "30 sig_out"
echo "31 sig_in"
echo "32 build_symtab"
echo "33 add_id"
echo "34 process_id"
echo "35 restore"
echo "36 retrieve"
echo "37 prstree"
echo "38 number"
echo "39 reorder"
echo "40 sigids"
echo "41 sigids_dflt.inc"
echo "42 sigids_opr_let.inc"
echo "43 sigids_str.inc"
echo "44 stplinks"



echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "888 NOTES.txt"

echo "999 quit"
echo "select"
read select
while [ $select -ne 999 ]
do 
case $select in
1)  emacs main.c main.icn;;
2)  emacs mine.icn;;
3)  emacs defs.icn;;
4)  emacs global_vars.icn;;
5)  emacs globals_init.icn;;
30) emacs sigio/sig_out.c sigio/sig_out.icn ;;
31) emacs sigio/sig_in.c sigio/sig_in.icn ;;
32) emacs pass2/build_symtab.c pass2/build_symtab.icn ;;
33) emacs pass2/add_id.c pass2/add_id.icn ;;
34) emacs pass2/process_id.c pass2/process_id.icn ;;
35) emacs pass2/restore.c pass2/restore.icn ;;
36) emacs pass2/retrieve.c pass2/retrieve.icn ;;
37) emacs stree/prstree.c stree/prstree.icn ;;
38) emacs pass3/number.c pass3/number.icn;;
39) emacs pass3/reorder.c pass3/reorder.icn;;
40) emacs pass3/sigids.c pass3/sigids.icn;;
41) emacs pass3/sigids.c pass3/sigids_dflt.inc.icn;;
42) emacs pass3/sigids.c pass3/sigids_opr_let.inc.icn;;
43) emacs pass3/sigids.c pass3/sigids_str.inc.icn;;
44) emacs stree/stplinks.mh stree/stplinks.icn;;



111) ./testfact;;
112) ./testmisc;;
113) ./testsimp0001;;
114) ./testsimp0002;;
123) ./testsimp0011;;
124) ./testsimp0012;;
125) ./testsimp0013;;
888) emacs NOTES.txt ;;

esac
echo "files"
echo "1 main"
echo "2 mine"
echo "3 defs"
echo "4 global_vars"
echo "5 globals_init"
echo "30 sig_out"
echo "31 sig_in"
echo "32 build_symtab"
echo "33 add_id"
echo "34 process_id"
echo "35 restore"
echo "36 retrieve"
echo "37 prstree"
echo "38 number"
echo "39 reorder"
echo "40 sigids"
echo "41 sigids_dflt.inc"
echo "42 sigids_opr_let.inc"
echo "43 sigids_str.inc"
echo "44 stplinks"





echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "888 NOTES.txt"

echo "999 quit"
echo "select"
read select
done
