Other

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../ref-doc"
%%% End: 
