--- latex.el.old 2014-06-11 10:42:35.320791747 +0200 +++ latex.el 2014-06-11 10:42:22.174035739 +0200 @@ -1205,7 +1205,7 @@ (1 2) LaTeX-auto-env-args) (,(concat "\\\\newenvironment\\*?{?\\(" token "+\\)}?") 1 LaTeX-auto-environment) - (,(concat "\\\\newtheorem{\\(" token "+\\)}") 1 LaTeX-auto-environment) + (,(concat "\\\\newtheorem\\*?{\\(" token "+\\)}") 1 LaTeX-auto-environment) ("\\\\input{\\(\\.*[^#}%\\\\\\.\n\r]+\\)\\(\\.[^#}%\\\\\\.\n\r]+\\)?}" 1 TeX-auto-file) ("\\\\include{\\(\\.*[^#}%\\\\\\.\n\r]+\\)\\(\\.[^#}%\\\\\\.\n\r]+\\)?}"