%%% Local Variables: 
%%% mode: plain-tex
%%% TeX-master: t
%%% TeX-master: t
%%% End: