%%
%% This is file `prooftrees-doc.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% prooftrees.dtx  (with options: `doc')
%% -------------------------------------------------
%% Copyright (C) 2016-2025 Clea F. Rees.
%% 
%% 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-05-04 or later.
%% 
%% This work has the LPPL maintenance status `maintained'.
%% 
%% The Current Maintainer of this work is Clea F. Rees.
%% 
%% This file may only be distributed together with a copy of the package
%% prooftrees. You may however distribute the package prooftrees without
%% such generated files.
%% 
%% This work consists of all files listed in manifest.txt.
%% -------------------------------------------------

\RequirePackage{svn-prov}
\def\GetFileBaseName#1-#2\nil{#1}
\edef\MyFileBaseName{\expandafter\GetFileBaseName\jobname\nil}
\ProvidesFileSVN[\MyFileBaseName-doc]{$Id: prooftrees.dtx 11666 2026-02-21 01:53:54Z cfrees $}[v0.9.3 \revinfo]
\DefineFileInfoSVN
\AddToHook{begindocument}{\OnlyDescription}
\input{\MyFileBaseName.dtx}
\endinput
%%
%% End of file `prooftrees-doc.tex'.
