%%
%% Installer file for the propositions package
%%
%% Copyright (C) 2026 Cian Dorr
%%
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3c
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%%
%%    https://www.latex-project.org/lppl.txt
%%

\input docstrip.tex
\keepsilent
\askforoverwritefalse

\preamble

Copyright (C) 2026 Cian Dorr

This work may be distributed and/or modified under the
conditions of the LaTeX Project Public License, either version 1.3c
of this license or (at your option) any later version.
The latest version of this license is in

   https://www.latex-project.org/lppl.txt

and version 1.3c or later is part of all distributions of LaTeX
version 2008 or later.

This work has the LPPL maintenance status `maintained'.

The Current Maintainer of this work is Cian Dorr.

This work consists of the files propositions.dtx and propositions.ins
and the derived files propositions.sty and propositions.pdf.

\endpreamble

\postamble
\endpostamble

\generate{\file{propositions.sty}{\from{propositions.dtx}{package}}}

\obeyspaces
\Msg{*****************************************************}
\Msg{*                                                   *}
\Msg{* To finish the installation, move                  *}
\Msg{* propositions.sty to a directory searched by TeX.  *}
\Msg{*                                                   *}
\Msg{* To produce the documentation, run                 *}
\Msg{*     pdflatex propositions.dtx                     *}
\Msg{*                                                   *}
\Msg{*****************************************************}

\endbatchfile