summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty')
-rw-r--r--Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty7
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty b/Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty
index 8c6d6209bf2..d3ff8c5898f 100644
--- a/Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty
+++ b/Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty
@@ -7,7 +7,7 @@
%% jmlr.dtx (with options: `jmlrutils.sty,package')
%%
%% jmlr.dtx
-%% Copyright 2017 Nicola Talbot
+%% Copyright 2020 Nicola Talbot
%%
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3
@@ -40,7 +40,7 @@
%% Right brace \} Tilde \~}
%% First editor:
%% Second editor:
-\ProvidesPackage{jmlrutils}[2017/08/01]
+\ProvidesPackage{jmlrutils}[2020/01/17 v1.25 (NLCT)]
\newif\ifjmlrutilsmaths
\jmlrutilsmathstrue
\DeclareOption{maths}{\jmlrutilsmathstrue}
@@ -374,9 +374,10 @@
\newcommand{\jmlrBlackBox}{\rule{1.5ex}{1.5ex}}
\providecommand{\BlackBox}{\jmlrBlackBox}
\newcommand{\jmlrQED}{\hfill\jmlrBlackBox\par\bigskip}
+\providecommand{\proofname}{Proof}
\newenvironment{proof}%
{%
- \par\noindent{\bfseries\upshape Proof\ }%
+ \par\noindent{\bfseries\upshape \proofname\ }%
}%
{\jmlrQED}
\newcommand*{\theorembodyfont}[1]{%