From 7a253d3b053c803ac7ecb4e8dbb7fb264ce0319f Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Thu, 31 Mar 2011 00:26:12 +0000
Subject: piff (30mar11)

git-svn-id: svn://tug.org/texlive/trunk@21894 c570f23f-e606-0410-a88d-b1316a301751
---
 Master/texmf-dist/doc/latex/piff/newproof-doc.tex | 115 ++++++++++++++++++++++
 1 file changed, 115 insertions(+)
 create mode 100644 Master/texmf-dist/doc/latex/piff/newproof-doc.tex

(limited to 'Master/texmf-dist/doc/latex/piff/newproof-doc.tex')

diff --git a/Master/texmf-dist/doc/latex/piff/newproof-doc.tex b/Master/texmf-dist/doc/latex/piff/newproof-doc.tex
new file mode 100644
index 00000000000..2335fdbbc5d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/newproof-doc.tex
@@ -0,0 +1,115 @@
+\documentclass[pagesize=auto, parskip=half, fontsize=12pt, DIV=9]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{etex}
+\usepackage{xspace}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage[svgnames]{xcolor}
+\usepackage{latexsym}
+\usepackage{listings}
+\usepackage{microtype}
+\usepackage{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+\newcommand*{\cs}[1]{\texttt{\textbackslash#1}}
+\makeatletter
+\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}}
+\makeatother
+\newcommand*{\env}[1]{\texttt{#1}}
+
+\addtokomafont{title}{\rmfamily}
+
+\lstset{%
+  language=[LaTeX]TeX,%
+  columns=flexible,%
+  upquote=true,%
+  numbers=left,%
+  basicstyle=\ttfamily,%
+  keywordstyle=\color{Navy},%
+  commentstyle=\color{DimGray},%
+  stringstyle=\color{SeaGreen},%
+  numberstyle=\scriptsize\color{SlateGray}%
+}
+
+\title{The \pkg{newproof} package}
+\author{Mike Piff\thanks{\mail{M.Piff@shef.ac.uk}}}
+\date{}
+
+
+\begin{document}
+
+\maketitle
+
+\renewcommand*{\labelenumi}{\texttt{\#\theenumi}}
+
+This package defines a \cmd{\newproof} command similar to \cmd{\newtheorem}.
+Its arguments are
+%
+\begin{enumerate}
+\item Name of proof environment, eg, \env{proof}.
+\item Starting text, eg, \emph{Proof}.
+\item Finishing text, eg, $\Box$ flushed right.
+\end{enumerate}
+
+The package goes on to define a \env{proof} environment with exactly the
+above setup, but other unnumbered environments can be set up in the
+same way.
+
+The created environments take one optional argument, which, if present,
+goes in brackets after \verb|#2|.   Eg,
+%
+\begin{lstlisting}
+\begin{proof}
+  A proof.
+\end{proof}
+
+\begin{proof}[B. L. User]
+  A named proof.
+\end{proof}
+
+\begin{proof}[of Theorem \ref{thm}]
+  Yet another.
+\end{proof}
+\end{lstlisting}
+
+Command \cmd{\qed} is set up to flush \cmd{\qedtext} right; \cmd{\qedtext} defaults
+to a square, but can be re-defined as ``QED'' or whatever.
+
+\end{document}
+
+%
+% 
+%
+% This file is placed in the public domain.  No provision is made for
+% support of the use of the facilities herein.
+%
+\NeedsTeXFormat{LaTeX2e}[1995/12/01]
+\ProvidesPackage{newproof}
+\newcommand{\newproof}[3]{
+   \newenvironment{#1}[1][]%
+   {%
+      \begin{trivlist}%
+         \item[\hspace{\labelsep}\textnormal{\textbf{#2%
+            \def\op@@@arg{##1}%
+            \ifx\op@@@arg\empty
+            \else~(##1)\fi
+         }}]%
+   }%
+   {%
+      #3
+      \end{trivlist}%
+   }%
+}
+\newproof{proof}{Proof}{\qed}
+\def\qed{{\ifhmode\unskip\nobreak\hfil\penalty50 \hskip1em \else\nobreak\fi
+   \mbox{}\nobreak\hfil\qedtext%
+   \parfillskip=0pt \finalhyphendemerits=0 \par}}
+
+\def\qedtext{\ensuremath{\square}}
+\RequirePackage{amsfonts}
+\DeclareMathSymbol{\square}       {\mathord}{AMSa}{"03}
+
+
-- 
cgit v1.2.3

