108 *)
109 echo "\\isakeeptag{${TAG}}"
110 ;;
111 esac
112 done
113 echo
113 ) > isabelletags.sty
114 ) > isabelletags.sty
114 }
115 }
115
116
117
117 # prepare document
118 # prepare document