From 4f617355bd5e865e45f1dd5c88172a1d38d41e81 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 12 Jan 2006 23:53:26 +0000 Subject: computational-complexity git-svn-id: svn://tug.org/texlive/trunk@781 c570f23f-e606-0410-a88d-b1316a301751 --- .../tex/latex/computational-complexity/ccqed.sty | 231 +++++++++++++++++++++ 1 file changed, 231 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty (limited to 'Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty') diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty new file mode 100644 index 00000000000..dcb71833d4b --- /dev/null +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty @@ -0,0 +1,231 @@ +%% +%% This is file `ccqed.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cc.dtx (with options: `ccqed,chartab') +%% +%% This is a generated file. +%% +%% Copyright 2000-2003 +%% Michael N"usken, Joachim von zur Gathen, computational complexity +%% +%% IMPORTANT NOTICE: +%% +%% You are *not* allowed to modify this file. +%% +%% You are *not* allowed to distribute this file. +%% For distribution of the original source see the terms +%% for copying and modification in the file cc.dtx. +%% +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\ProvidesPackage{ccqed}[2000/02/29 v2.04 + right-justified end-of-proof mark, + based on Paul Taylor's QED.sty of 24 June 1995] +\def\qed{\protect\@qed{$\qedsymbol$}} +\def\qedsymbol{\square} +\newif\ifAutoQED\AutoQEDfalse +\def\parag@pushright#1{{% + \parfillskip\z@ + \widowpenalty\@M + \displaywidowpenalty\@M + \finalhyphendemerits\z@ + \hbox@pushright + #1% + \par}}% +\def\hbox@pushright{% + \unskip + \nobreak + \hfil + \penalty50 + \hskip.2em + \null + \hfill +}% +\def\vbox@pushright#1{\expandafter\message % (2 Jan 1994) + {QED.sty could be improved in this case + (line \the\inputlineno): please ask}% + \page@pushright{#1}}% +\newif\if@qed\@qedfalse +\def\save@set@qed{\let\saved@ifqed\if@qed\global\@qedtrue}% +\def\restore@qed{\global\let\if@qed\saved@ifqed} +\def\@qed#1{\check@pt@fm@thm +\if@qed + \global\@qedfalse\pushright{#1}% +\else\ifhmode\ifinner\else\par\fi\fi% +\fi} +\def\@pushright#1{% + \ifvmode + \ifinner\vbox@pushright{#1}% + \else \page@pushright{#1}% + \fi + \else\ifmmode\maths@pushright{\hbox{#1}}% + \else\ifinner\hbox@pushright{#1}% + \else\parag@pushright{#1}% + \fi \fi \fi +} +\def\maths@pushright#1{% + \ifinner + \hbox@pushright{#1}% + \else + \eqno#1% + \def\]{$$\ignorespaces}% + \fi +}% +\def\page@pushright#1{% 18 Jan 1994 + %\unpenalty % ineffective + \skip@\lastskip + \ifdim\skip@>\z@ + \unskip + \else\skip@\z@\relax + \fi + %\unpenalty % TeX won't let me do this + \dimen@\baselineskip + \advance\dimen@-\prevdepth + \nobreak + \nointerlineskip + \hbox to\hsize{% + \setbox\z@\null + \ifdim\dimen@>\z@\ht\z@\dimen@\fi + \box\z@ + \hfill + #1}% + \vskip\skip@ +}% +\let\nonqed@thm\@thm +\let\nonqed@endthm\@endtheorem +\def\@thm{\save@set@qed\nonqed@thm} +\def\@endtheorem{\ifAutoQED\qed\fi\restore@qed\nonqed@endthm} +\newbox\qed@box +\def\WillHandleQED{\relax + \ifx\HandleQED\nohandle@qed + \def\pushright{\global\setbox\qed@box\hbox}% + \let\QEDbox\qed@box + \def\HandleQED{\unhbox\QEDbox}% + \aftergroup\check@handle@qed + \else + \let\QEDbox\voidb@x + \fi + } +\def\nohandle@qed{% +\errhelp{One of them is missing: see QED.sty.}% +\errmessage{This environment uses \string\WillHandleQED\space and +\string\HandleQED\space incorrectly}} +\def\check@handle@qed{\relax +\ifvoid\qed@box\else\expandafter\nohandle@qed\fi} +\def\UnHandleQED{% +\let\HandleQED\nohandle@qed +\let\QEDbox\voidb@x +\def\pushright{\protect\@pushright}}% +\UnHandleQED +\ifx\theorem@style\undefined + \def\check@pt@fm@thm{\relax + \ifx\square\undefined + \gdef\square{\bigcirc + \errhelp={Anonymous ftp e-math.ams.com /ams/amsfonts}% + \errmessage{\string\square\space is an AMS symbol}% + \global\let\square\bigcirc}% + \fi + \ifx\theorem@style\undefined + \global\let\check@pt@fm@thm\relax + \else + \errhelp={The macros \@thm and \@endtheorem + need to be re-defined.}% + \errmessage{QED.sty must be loaded AFTER theorem.sty but + before using \string\newtheorem}% + \fi + \global\let\check@pt@fm@thm\relax + }% +\else + \def\check@pt@fm@thm{% + \ifx\square\undefined + \def\square{\bigcirc + \errhelp={Anonymous ftp e-math.ams.com /ams/amsfonts}% + \errmessage{\string\square\space is an AMS symbol}% + \global\let\square\bigcirc}% + \fi + \global\let\check@pt@fm@thm\relax + }% +\fi +\DeclareOption{auto-QED}{\AutoQEDtrue}% +\DeclareOption{explicit-QED}{\AutoQEDfalse}% +\DeclareOption{black-square}{\def\qedsymbol{\blacksquare}}% +\DeclareOption{open-square}{\def\qedsymbol{\square}}% +\ProcessOptions\relax +\newif\if@resettagsleft@ +\let\standardqed\qed +\def\rescueqed{\qquad\qedsymbol\vphantom{\standardqed}} +\def\eqnoqed{\eqno\hbox{\standardqed}}%\vphantom{\standardqed}} +\let\ccorg@eqnnum\@eqnnum +\let\ccorg@nonumber\nonumber +\def\eqnarrayqed{% + \global\@eqnswtrue + \global\let\nonumber\relax + \addtocounter{equation}\m@ne + \gdef\@eqnnum{\llap{$\qedsymbol$\vphantom{\standardqed}}% + \global\let\nonumber\ccorg@nonumber + \global\let\@eqnnum\ccorg@eqnnum}} +\def\tagqed{\tag*{\iftagsleft@ + \hskip\displaywidth\llap{$\qedsymbol$}\hskip-\displaywidth% + \else$\qedsymbol$\fi}\vphantom{\standardqed}} +\def\simpletagqed{\iftagsleft@\global\@resettagsleft@true\fi + \global\tagsleft@false + \tag*{$\qedsymbol$}\vphantom{\standardqed}} +\def\aftersplitqed{\global\let\endsplit\@endsplit} +\let\ccorg@endsplit\endsplit +\def\@endsplit{\ccorg@endsplit\qed\global\let\endsplit\ccorg@endsplit}% +\def\noqed{} +\def\@ifcurrenv#1#2{\def\@tempa{#1}\ifx\@tempa\@currenvir\relax + \let\next#2\fi} +\renewenvironment{displaymath}{$$}{$$\@ignoretrue} +\renewcommand{\[}{\begin{displaymath}} +\renewcommand{\]}{\end{displaymath}} +\if@ams +\def\qed{% + \if@resettagsleft@ + \global\tagsleft@true + \global\@resettagsleft@false + \fi + \let\next\standardqed + \@ifcurrenv{displaymath}\eqnoqed + \@ifcurrenv{equation}\noqed + \@ifcurrenv{eqnarray}\noqed + \@ifcurrenv{eqnarray*}\eqnarrayqed + \@ifcurrenv{equation*}\tagqed + \@ifcurrenv{split}\aftersplitqed + \@ifcurrenv{multline}\noqed + \@ifcurrenv{multline*}\simpletagqed + \@ifcurrenv{gather}\noqed + \@ifcurrenv{gather*}\tagqed + \@ifcurrenv{align}\noqed + \@ifcurrenv{align*}\tagqed + \@ifcurrenv{alignat}\noqed + \@ifcurrenv{alignat*}\tagqed + \next} +\else +\def\qed{% + \let\next\standardqed + \@ifcurrenv{displaymath}\eqnoqed + \@ifcurrenv{equation}\noqed + \@ifcurrenv{eqnarray}\noqed + \@ifcurrenv{eqnarray*}\eqnarrayqed + \next} +\fi +\endinput +%% +%% End of file `ccqed.sty'. -- cgit v1.2.3