diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-17 21:53:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-17 21:53:54 +0000 |
commit | beb1210c66bfa1edea4ff69a6baa148f1fa22db9 (patch) | |
tree | d919693afc84944633aa8eeefd3b2de5765dec6d /Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty | |
parent | ebda1f0870ff782926d099d536e549e4cc77a3de (diff) |
jmlr (17jan20)
git-svn-id: svn://tug.org/texlive/trunk@53441 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/jmlr/jmlrutils.sty | 7 |
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]{% |