From 4c82da84d0b9601858c7f69f4855ebfd0f8f0ca6 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 16 Oct 2013 23:00:07 +0000 Subject: computational-complexity (16oct13) git-svn-id: svn://tug.org/texlive/trunk@31923 c570f23f-e606-0410-a88d-b1316a301751 --- .../bib/computational-complexity/journals.bib | 136 +++++++++++++------ .../computational-complexity/cc-cls-inline.tex | 148 +++++++++++---------- .../doc/latex/computational-complexity/cc.pdf | Bin 790584 -> 791274 bytes .../doc/latex/computational-complexity/cc2.dbj | 2 +- .../latex/computational-complexity/ccquickref.tex | 2 +- .../latex/computational-complexity/cctemplate.tex | 2 +- .../source/latex/computational-complexity/cc.dtx | 41 ++++-- .../tex/latex/computational-complexity/cc-cls.sty | 2 +- .../tex/latex/computational-complexity/cc.cls | 4 +- .../tex/latex/computational-complexity/cc2cite.sty | 2 +- .../latex/computational-complexity/cc4amsart.sty | 2 +- .../latex/computational-complexity/cc4apjrnl.sty | 2 +- .../latex/computational-complexity/cc4elsart.sty | 2 +- .../tex/latex/computational-complexity/cc4jT.sty | 2 +- .../latex/computational-complexity/cc4llncs.sty | 2 +- .../latex/computational-complexity/cc4siamltex.sty | 2 +- .../latex/computational-complexity/cc4svjour.sty | 2 +- .../tex/latex/computational-complexity/ccalgo.sty | 4 +- .../tex/latex/computational-complexity/ccaux.sty | 2 +- .../tex/latex/computational-complexity/cccite.sty | 2 +- .../tex/latex/computational-complexity/ccdbs.sty | 2 +- .../latex/computational-complexity/cclayout.sty | 6 +- .../tex/latex/computational-complexity/ccproof.sty | 2 +- .../tex/latex/computational-complexity/ccqed.sty | 2 +- .../tex/latex/computational-complexity/ccref.sty | 2 +- .../tex/latex/computational-complexity/ccreltx.sty | 2 +- .../tex/latex/computational-complexity/ccthm.sty | 4 +- .../tex/latex/computational-complexity/relabel.sty | 2 +- .../tex/latex/computational-complexity/thcc.sty | 20 ++- 29 files changed, 243 insertions(+), 160 deletions(-) diff --git a/Master/texmf-dist/bibtex/bib/computational-complexity/journals.bib b/Master/texmf-dist/bibtex/bib/computational-complexity/journals.bib index 4541e4c3683..a3c2590da89 100644 --- a/Master/texmf-dist/bibtex/bib/computational-complexity/journals.bib +++ b/Master/texmf-dist/bibtex/bib/computational-complexity/journals.bib @@ -112,6 +112,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{ANTS96 = "Algorithmic Number Theory, Second International Symposium, ANTS-II, {\rm Talence, France}"} @string{ANTS98 = "Algorithmic Number Theory, Third International Symposium, ANTS-III, {\rm Portland, Oregon, USA}"} @string{ANTS00 = "Algorithmic Number Theory, Fourth International Symposium, ANTS-IV, {\rm Leiden, The Netherlands}"} +@String{ANTS02 = "Algorithmic Number Theory, Fifth International Symposium, ANTS-V, {\rm Sydney, Australia}"} @string{ANTS06 = "Algorithmic Number Theory, Seventh International Symposium, ANTS-IV, {\rm Berlin, Germany}"} @string{ANTS08 = "Algorithmic Number Theory, Eighth International Symposium, ANTS-VIII, {\rm Banff, Canada}"} @string{ANTS10 = "Algorithmic Number Theory, Ninth International Symposium, ANTS-IX, {\rm Nancy, France}"} @@ -121,9 +122,13 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{ASCRY98 = "Advances in Cryptology: Proceedings of ASIACRYPT 1998, {\rm Beijing, China}"} @string{ASCRY00 = "Advances in Cryptology: Proceedings of ASIACRYPT 2000, {\rm Kyoto, Japan}"} @string{ASCRY01 = "Advances in Cryptology: Proceedings of ASIACRYPT 2001, {\rm Gold Coast, Australia}"} +@string{ASCRY05 = "Advances in Cryptology: Proceedings of ASIACRYPT 2005, {\rm Chennai, India}"} @string{ASCRY06 = "Advances in Cryptology: Proceedings of ASIACRYPT 2006, {\rm Shanghai, China}"} @string{ASCRY07 = "Advances in Cryptology: Proceedings of ASIACRYPT 2007, {\rm Kuching, Sarawak, Malaysia}"} + +@String{ASCRY11 = "Advances in Cryptology: Proceedings of ASIACRYPT 2011, {\rm Seoul, South Korea}"} + @string{CASC99 = "Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC '99, {\rm M\"unchen, Germany}"} @string{CCS93 = "CCS'93: Proceedings of the First ACM Conference on Computer and Communications Security, November 1993, Fairfax, @@ -143,32 +148,35 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{CRMPLN = "CRM Proceedings \&{} Lecture Notes"} -@string{CRYPTO82 = "Advances in Cryptology: Proceedings of CRYPTO~'82"} -@string{CRYPTO83 = "Advances in Cryptology: Proceedings of CRYPTO~'83"} -@string{CRYPTO84 = "Advances in Cryptology: Proceedings of CRYPTO~'84, {\rm Santa Barbara, CA}"} -@string{CRYPTO85 = "Advances in Cryptology: Proceedings of CRYPTO~'85, {\rm Santa Barbara, CA}"} -@string{CRYPTO86 = "Advances in Cryptology: Proceedings of CRYPTO~'86, {\rm Santa Barbara, CA}"} -@string{CRYPTO87 = "Advances in Cryptology: Proceedings of CRYPTO~'87, {\rm Santa Barbara, CA}"} -@string{CRYPTO88 = "Advances in Cryptology: Proceedings of CRYPTO~'88, {\rm Santa Barbara, CA}"} -@string{CRYPTO89 = "Advances in Cryptology: Proceedings of CRYPTO~'89, {\rm Santa Barbara, CA}"} -@string{CRYPTO90 = "Advances in Cryptology: Proceedings of CRYPTO~'90, {\rm Santa Barbara, CA}"} -@string{CRYPTO91 = "Advances in Cryptology: Proceedings of CRYPTO~'91, {\rm Santa Barbara, CA}"} -@string{CRYPTO92 = "Advances in Cryptology: Proceedings of CRYPTO~'92, {\rm Santa Barbara, CA}"} -@string{CRYPTO93 = "Advances in Cryptology: Proceedings of CRYPTO~'93, {\rm Santa Barbara, CA}"} -@string{CRYPTO94 = "Advances in Cryptology: Proceedings of CRYPTO~'94, {\rm Santa Barbara, CA}"} -@string{CRYPTO95 = "Advances in Cryptology: Proceedings of CRYPTO~'95, {\rm Santa Barbara, CA}"} -@string{CRYPTO96 = "Advances in Cryptology: Proceedings of CRYPTO~'96, {\rm Santa Barbara, CA}"} -@string{CRYPTO97 = "Advances in Cryptology: Proceedings of CRYPTO~'97, {\rm Santa Barbara, CA}"} -@string{CRYPTO98 = "Advances in Cryptology: Proceedings of CRYPTO~'98, {\rm Santa Barbara, CA}"} -@string{CRYPTO99 = "Advances in Cryptology: Proceedings of CRYPTO~'99, {\rm Santa Barbara, CA}"} -@string{CRYPTO00 = "Advances in Cryptology: Proceedings of CRYPTO~'00, {\rm Santa Barbara, CA}"} -@string{CRYPTO01 = "Advances in Cryptology: Proceedings of CRYPTO~'01, {\rm Santa Barbara, CA}"} -@string{CRYPTO02 = "Advances in Cryptology: Proceedings of CRYPTO~'02, {\rm Santa Barbara, CA}"} -@String{CRYPTO03 = "Advances in Cryptology: Proceedings of CRYPTO '03, {\rm Santa Barbara, CA}"} -@String{CRYPTO04 = "Advances in Cryptology: Proceedings of CRYPTO '04, {\rm Santa Barbara, CA}"} -@String{CRYPTO06 = "Advances in Cryptology: Proceedings of CRYPTO '06, {\rm Santa Barbara, CA}"} -@String{CRYPTO07 = "Advances in Cryptology: Proceedings of CRYPTO '07, {\rm Santa Barbara, CA}"} -@String{CRYPTO10 = "Advances in Cryptology: Proceedings of CRYPTO '10, {\rm Santa Barbara, CA}"} +@string{CRYPTO82 = "Advances in Cryptology: Proceedings of CRYPTO~1982"} +@string{CRYPTO83 = "Advances in Cryptology: Proceedings of CRYPTO~1983"} +@string{CRYPTO84 = "Advances in Cryptology: Proceedings of CRYPTO~1984, {\rm Santa Barbara, CA}"} +@string{CRYPTO85 = "Advances in Cryptology: Proceedings of CRYPTO~1985, {\rm Santa Barbara, CA}"} +@string{CRYPTO86 = "Advances in Cryptology: Proceedings of CRYPTO~1986, {\rm Santa Barbara, CA}"} +@string{CRYPTO87 = "Advances in Cryptology: Proceedings of CRYPTO~1987, {\rm Santa Barbara, CA}"} +@string{CRYPTO88 = "Advances in Cryptology: Proceedings of CRYPTO~1988, {\rm Santa Barbara, CA}"} +@string{CRYPTO89 = "Advances in Cryptology: Proceedings of CRYPTO~1989, {\rm Santa Barbara, CA}"} +@string{CRYPTO90 = "Advances in Cryptology: Proceedings of CRYPTO~1990, {\rm Santa Barbara, CA}"} +@string{CRYPTO91 = "Advances in Cryptology: Proceedings of CRYPTO~1991, {\rm Santa Barbara, CA}"} +@string{CRYPTO92 = "Advances in Cryptology: Proceedings of CRYPTO~1992, {\rm Santa Barbara, CA}"} +@string{CRYPTO93 = "Advances in Cryptology: Proceedings of CRYPTO~1993, {\rm Santa Barbara, CA}"} +@string{CRYPTO94 = "Advances in Cryptology: Proceedings of CRYPTO~1994, {\rm Santa Barbara, CA}"} +@string{CRYPTO95 = "Advances in Cryptology: Proceedings of CRYPTO~1995, {\rm Santa Barbara, CA}"} +@string{CRYPTO96 = "Advances in Cryptology: Proceedings of CRYPTO~1996, {\rm Santa Barbara, CA}"} +@string{CRYPTO97 = "Advances in Cryptology: Proceedings of CRYPTO~1997, {\rm Santa Barbara, CA}"} +@string{CRYPTO98 = "Advances in Cryptology: Proceedings of CRYPTO~1998, {\rm Santa Barbara, CA}"} +@string{CRYPTO99 = "Advances in Cryptology: Proceedings of CRYPTO~1999, {\rm Santa Barbara, CA}"} +@string{CRYPTO00 = "Advances in Cryptology: Proceedings of CRYPTO~2000, {\rm Santa Barbara, CA}"} +@string{CRYPTO01 = "Advances in Cryptology: Proceedings of CRYPTO~2001, {\rm Santa Barbara, CA}"} +@string{CRYPTO02 = "Advances in Cryptology: Proceedings of CRYPTO~2002, {\rm Santa Barbara, CA}"} +@String{CRYPTO03 = "Advances in Cryptology: Proceedings of CRYPTO~2003, {\rm Santa Barbara, CA}"} +@String{CRYPTO04 = "Advances in Cryptology: Proceedings of CRYPTO~2004, {\rm Santa Barbara, CA}"} +@String{CRYPTO06 = "Advances in Cryptology: Proceedings of CRYPTO~2006, {\rm Santa Barbara, CA}"} +@String{CRYPTO07 = "Advances in Cryptology: Proceedings of CRYPTO~2007, {\rm Santa Barbara, CA}"} +@String{CRYPTO08 = "Advances in Cryptology: Proceedings of CRYPTO~2008, {\rm Santa Barbara, CA}"} +@String{CRYPTO09 = "Advances in Cryptology: Proceedings of CRYPTO~2009, {\rm Santa Barbara, CA}"} +@String{CRYPTO10 = "Advances in Cryptology: Proceedings of CRYPTO~2010, {\rm Santa Barbara, CA}"} +@String{CRYPTO11 = "Advances in Cryptology: Proceedings of CRYPTO~2011, {\rm Santa Barbara, CA}"} @String{CTRSA10 = "RSA Conference 2010, Cryptographers' Track, {\rm San Francisco, CA, USA}"} @@ -197,9 +205,12 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{EUCRY00 = "Advances in Cryptology: Proceedings of EUROCRYPT 2000, {\rm Bruges, Belgium}"} @string{EUCRY01 = "Advances in Cryptology: Proceedings of EUROCRYPT 2001, {\rm Aarhus, Denmark}"} @string{EUCRY02 = "Advances in Cryptology: Proceedings of EUROCRYPT 2002, {\rm Amsterdam, The Netherlands}"} +@string{EUCRY03 = "Advances in Cryptology: Proceedings of EUROCRYPT 2003, {\rm Warsaw, Poland}"} @String{EUCRY05 = "Advances in Cryptology: Proceedings of EUROCRYPT 2005, {\rm Aarhus, Denmark}"} @String{EUCRY06 = "Advances in Cryptology: Proceedings of EUROCRYPT 2006, {\rm St. Petersburg, Russia}"} @string{EUCRY09 = "Advances in Cryptology: Proceedings of EUROCRYPT 2009, {\rm Cologne, Germany}"} +@String{EUCRY10 = "Advances in Cryptology: Proceedings of EUROCRYPT 2010, {\rm French Riviera}"} +@String{EUCRY12 = "Advances in Cryptology: Proceedings of EUROCRYPT 2012, {\rm Cambridge, UK}"} @String{EUROPKI09 = "6th European Workshop, EuroPKI 2009 {\rm Pisa, Italy}"} @@ -214,7 +225,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{FC10Ws = "Financial Cryptography and Data Security 2010"} @string{FOCS70 = "Proceedings of the 11th Annual IEEE Symposium on Switching and Automata Theory, {\rm Santa Monica~CA}"} -@string{FOCS71 = "IEEE Conference Record of the 12th Annual Symposium on Switching and Automata Theory, {\em East Lansing~MI}"} +@string{FOCS71 = "IEEE Conference Record of the 12th Annual Symposium on Switching and Automata Theory, {\em East Lansing~MI}"} @string{FOCS72 = "Proceedings of the 13th Annual IEEE Symposium on Switching and Automata Theory, {\rm Yorktown Heights~NY}"} @string{FOCS75 = "Proceedings of the 16th Annual IEEE Symposium on Foundations of Computer Science, {\rm Berkeley~CA}"} @string{FOCS76 = "Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, {\rm Houston~TX}"} @@ -245,7 +256,8 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{FOCS01 = "Proceedings of the 42nd Annual IEEE Symposium on Foundations of Computer Science, {\rm Las Vegas~NV}"} @string{FOCS02 = "Proceedings of the 43nd Annual IEEE Symposium on Foundations of Computer Science, {\rm Vancouver, Canada}"} @String{FOCS04 = "Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science, {\rm Rome, Italy}"} -@String{FOCS05 = "Proceedings of the 46nd Annual IEEE Symposium on Foundations of Computer Science, {\rm Pittsburgh~PA}"} +@String{FOCS05 = "Proceedings of the 46nd Annual IEEE Symposium on Foundations of Computer Science, {\rm Pittsburgh,~PA}"} +@String{FOCS07 = "Proceedings of the 48nd Annual IEEE Symposium on Foundations of Computer Science, {\rm Providence,~RI}"} @String{FOCS08 = "Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science, {\rm Philadelphia,~PA}"} @String{FSTTCS = "Record of the Third Conference on Foundations of Software Technology and Theoretical Computer Cience"} @@ -335,16 +347,21 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{ISSAC05 = "Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation ISSAC2005, {\rm Beijing, China}"} @String{ISSAC06 = "Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation ISSAC2006, {\rm Genova, Italy}"} @String{ISSAC07 = "Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation ISSAC2007, {\rm Waterloo, Ontario, Canada}"} -@String{ISSAC08 = "Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation ISSAC2008, {\rm Hagenberg, Austria}"} +@String{ISSAC08 = "Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation ISSAC2008, {\rm Hagenberg, Austria}"} @String{ISSAC09 = "Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation ISSAC2009, {\rm Seoul, Korea}"} @String{ISSAC10 = "Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation ISSAC2010, {\rm Munich, Germany}"} @String{ISSAC11 = "Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation ISSAC2011, {\rm San Jose~CA}"} - -@String{IWSEC10 = "Proceedings of the 5th International Workshop on Security, {\rm Kobe, Japan, November 2010}"} +@String{ISSAC12 = "Proceedings of the 2012 International Symposium on Symbolic and Algebraic Computation ISSAC2012, {\rm Grenoble, France}"} @String{ISCAS02 = "Proceedings of the 2002 IEEE International Symposium on Circuits and Systems, {\rm Phoenix, Arizona, USA}"} @String{ISCAS03 = "Proceedings of the 2003 IEEE International Symposium on Circuits and Systems, {\rm Bangkok, Thailand}"} +@String{ISP07 = "Proceedings of the 2007 IEEE Symposium on Security and Privacy, {\rm Oakland, California, USA}"} + +@String{ITCS12 = "3rd Innovations in Theoretical Computer Science (ITCS) conference, {\rm Cambridge, Massachusetts}"} +@String{ITW11 = "Information Theory Workshop (ITW), 2011 IEEE"} +@String{IWSEC10 = "Proceedings of the 5th International Workshop on Security, {\rm Kobe, Japan, November 2010}"} + @string{LATIN92 = "Proceedings of LATIN~'92, {\rm S\~ao Paulo, Brazil}"} @string{LATIN95 = "Proceedings of LATIN~'95, {\rm Valpara{\'{\i}}so, Chile}"} @string{LATIN98 = "Proceedings of LATIN~'98, {\rm Campinas, Brazil}"} @@ -353,6 +370,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{LATIN04 = "Proceedings of LATIN~2004, {\rm Buenos Aires, Argentina}"} @string{LATIN08 = "Proceedings of LATIN~2008, {\rm B{\'{u}}zios, Rio de Janeiro, Brazil}"} @string{LATIN10 = "Proceedings of LATIN~2010, {\rm Oaxaca, Mexico}"} +@String{LATIN12 = "Proceedings of LATIN~2012, {\rm Arequipa, Peru}"} @string{MACSYMA77 = "Proceedings of the 1977 MACSYMA Users Conference, {\rm Berkeley~CA}"} @@ -366,10 +384,15 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{MFOCS00 = "Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science 2001, {\rm Bratislava, Slovakia}"} @string{MFOCS01 = "Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science 2001, {\rm Marianske Lazne, Czech Republic}"} +@String{MSW02 = "Proceedings of the Multimedia and Security Workshop at ACM Multimedia, {\rm Juan-les-Pins, France}"} + @string{PASCO97 = "Parallel Symbolic Computation PASCO~'97, {\rm Maui, Hawaii}"} -@String{PKC04 = "7th International Workshop on Theory and Practice in Public Key Cryptography, {\rm Singapore}"} +@String{PKC99 = "2nd International Workshop on Practice and Theory in Public Key Cryptography, {\rm Kamakura, Japan}"} +@String{PKC04 = "7th International Workshop on Practice and Theory in Public Key Cryptography, {\rm Singapore}"} +@String{PKC05 = "8th International Workshop on Practice and Theory in Public Key Cryptography, {\rm Switzerland}"} @String{PKC10 = "13th International Conference on Practice and Theory in Public Key Cryptography, {\rm Paris, France}"} +@String{PKC11 = "14th International Conference on Practice and Theory in Public Key Cryptography, {\rm Taormina, Italy}"} @String{RTO02 = "RTO HFM Symposium on ``The Role of Humans in Intelligent and Automated Systems'', {\rm Warsaw, Poland}"} @@ -380,7 +403,11 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{SETA08 = "Proceedings of the 5th International Conference on Sequences and Their Applications, {\rm Lexington~KY}"} %ISBN: 978-3-540-85911-6 @String{SETA10 = "Proceedings of the 6th International Conference on Sequences and Their Applications, {\rm Paris, France}"} -@String{SNC09 = "Proceedings of the 2009 conference on Symbolic numeric computation, {\rm Kyoto, Japan}"} %ISBN: 978-1-60558-664-9 + +@String{SNC09 = "Proceedings of the 2009 conference on Symbolic numeric computation, {\rm Kyoto, Japan}"} %ISBN: 978-1-60558-664-9 + +@String{SODA97 = "Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, {\rm New Orleans~LA}"} +@String{SODA11 = "Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms {\rm San Francisco~CA}"} @string{STOC69 = "Proceedings of the First Annual ACM Symposium on Theory of Computing, {\rm Marina del Rey~CA}"} @string{STOC70 = "Proceedings of the Second Annual ACM Symposium on Theory of Computing, {\rm Northampton~MA}"} @@ -420,9 +447,12 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{STOC08 = "Proceedings of the Fourtieth Annual ACM Symposium on Theory of Computing, {\rm Victoria, BC, Canada}"} @String{STOC09 = "Proceedings of the Fourty-first Annual ACM Symposium on Theory of Computing, {\rm Bethesda, Maryland, USA}"} @String{STOC10 = "Proceedings of the Fourty-second Annual ACM Symposium on Theory of Computing, {\rm Cambridge, MA, USA}"} +@String{STOC11 = "Proceedings of the Fourty-third Annual ACM Symposium on Theory of Computing, {\rm San Jose, California, USA}"} @String{SYMSAC76 = "Proceedings of the third ACM Symposium on Symbolic and Algebraic Computation"} %%%ORT unbekannt +@String{SYNASC12 = "14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2012, {\rm Timisoara, Romania}"} %ISBN: 978-1-4673-5026-6 + @String{TCC09 = "Sixth Theory of Cryptography Conference, {\rm San Francisco, CA, USA}"} @String{TCC10 = "Seventh IACR Theory of Cryptography Conference, {\rm Z{\"{u}}rich, Switzerland}"} @@ -440,7 +470,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. %%% A %%% @string{AMCT = "Mathematisch Centrum, Amsterdam"} @String{AGJSC = "Arab Gulf Journal of Scientific Research"} -@string{AMS = "American Mathematical Society"} +@string{AMS = "American Mathematical Society"} @String{AMS/IP = "The American Mathematical Society and International Press"} @string{ACM = "ACM Press"} @string{ADW = "Akademie der Wissenschaften"} @@ -478,6 +508,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. %%% I %%% @string{IEEECSP = "IEEE Computer Society Press"} @string{IEEEPR = "IEEE Press"} +@String{IMS = "Institute of Mathematical Statistics"} %%% J %%% @string{JRC = "Johnson Reprint Co"} @string{JUS = "Julius Springer"} % Verlag von JS @@ -491,11 +522,12 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{MD = "Marcel Dekker, Inc."} @string{MH = "McGraw-Hill"} @string{MIT = "MIT~Press"} -@string{MKP = "Morgan Kaufmann Publishers"} +@string{MKP = "Morgan Kaufmann Publishers"} %%% N %%% @string{NH = "North-Holland"} %%% O %%% @string{OUP = "Oxford University Press"} +@string{OR = "O'Reilly Media"} %%% P %%% @string{PERG = "Pergamon Press"} @string{PH = "Prentice-Hall, Inc."} @@ -521,6 +553,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{VS = "Friedrich Vieweg \& Sohn"} %%% W %%% @string{WS = "John Wiley \& Sons"} +@String{WSP = "World Scientific Publishing Co. Pte. Ltd."} %%% X %%% %%% Y %%% %%% Z %%% @@ -532,6 +565,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{AA = "Acta Arithmetica"} @string{AAECC = "Applicable Algebra in Engineering, Communication and Computing"} @string{AAM = "Advances in Applied Mathematics"} +@String{AAP = "Annals of Applied Probability"} % @string{AASF = "Annales Academiae Scientiarum Fennicae"} @string{AASFI = "Annales de l'Acad{\'e}mie des Sciences de Finlande"} @string{AASP = "American Antiquarian Society Proceedings, Worcester, Mass."} @@ -561,10 +595,11 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{AK = "Archiv f{\"u}r Kriminologie"} @string{AKGWG = "Abhandlungen der K{\"o}niglichen Gesellschaft der`Wissenschaften zu G{\"o}ttingen"} @string{AKK = "Archiv f{\"u}r Kriminalanthropologie und Kriminalistik"} -@string{ALIT = "American Literature"} -@string{ALG = "Algorithmica"} +@string{ALIT = "American Literature"} +@string{ALG = "Algorithmica"} @String{AEM = "Aequationes Mathematicae"} %ISSN = "0001-9054 (Print) 1420-8903 (Online)", @string{AM = "Annals of Mathematics"} +@String{AMC = "Applied Mathematics and Computation"} @string{AMII = "Annals of Mathematics, Series II"} @String{AMK = "Archiv f{\"{u}}r mittelrheinische Kirchengeschichte"} @string{AML = "Applied Mathematics Letters"} @@ -579,6 +614,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{ARCHM = "Archiv der Mathematik"}% ISSN = "0003-889X", @string{ARCP = "Annual Reviews of Computational Physics"} @string{ARCS = "Annual Review of Computer Science"} +@String{AS = "Annals of Statistics"} @string{ASAE = "Annales du Service des Antiquites de l'Egypte"} @String{ASENS = "Annales Scientifiques de l'{\'{E}}cole Normale Sup{\'{e}}rieure"} % ISSN ="0012-9593" @string{ASAU = "Analele stiintifice ale Universitatii ``Al. I. Cuza'' din Iasi"} @@ -593,6 +629,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. %%% B %%% @string{BAH = "Bolet{\'i}n de la Academ{\'i}a de la Historia, Buenos Aires"} @string{BAMS = "Bulletin of the American Mathematical Society"} +@String{BNAMS = "Bulletin (New Series) of the American Mathematical Society"} @string{BAUSMS = "Bulletin of the Australian Mathematical Society"} @string{BBSSMF = "Bulletin Biblio. Storia Sci. Mat. Fis."} @string{BIMA = "Bulletin of the Institute of Mathematics and its Applications"} @@ -618,7 +655,9 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{CAS = "Computers \&{} Security"} @string{CASP = "Commentarii academiae scientiarum imperalis Petropolitanae"} @string{CASPP = "Commentarii Academiae Scientiarum Petropolitanae"} +@String{CB = "CryptoBytes"} @string{CC = "computational complexity"} +@String{CCO = "Cryptography anc Communications"}% ISSN = "1936-2447 (Print) 1936-2455 (Online)" @String{CE = "Centaurus. International Magazine of the History of Mathematics, Science, and Technology"} @String{CG = "Computers \&{} Graphics"} @string{CHJM = "Chinese Journal of Mathematics"} @@ -645,11 +684,13 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{CRASPI = "Comptes Rendus de l'Acad{\'{e}}mie des Sciences Paris, s{\'{e}}rie I"} %%% D %%% @string{DAM = "Discrete Applied Mathematics"} +@String{DAN = "Dokl. Akad. Nauk SSSR"} @string{DANcyr = "{\cyr Do\-kla\-dy Aka\-de\-mii Nauk SSSR}"} @string{DANru = "{\slshape\foreignlanguage{russian}{Do\-kla\-dy Aka\-de\-mii Nauk SSSR}}"} @string{DANengl = "Doklady Akademii Nauk SSSR English translation: Soviet Mathematics, Doklady"} @string{DCC = "Designs, Codes and Cryptography"} @String{DCG = "Discrete \&{} Computational Geometry"} +@String{DesCC = "Designs Codes Cryptography"} @string{DM = "Discrete Mathematics"} @String{DemM = "Demonstratio Mathematica"} @String{DMA = "Discrete Mathematics and Applications"} @@ -669,6 +710,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{ET = "Educational Times"} @string{EXM = "Expositiones Mathematicae"} %%% F %%% +@String{FAA = "Functional Analysis and Its Applications"} %ISSN 0016-2663 (Print) 1573-8485 (Online) @String{FIC = "Fields Institute Communications"}% ISSN = "1069-5265", @string{FFA = "Finite Fields and Their Applications"} @String{FOCUS = "FOCUS Magazin"} @@ -697,8 +739,11 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{IEEE-JSAC = "IEEE Journal on Selected Areas in Communications"} @string{IEEE-TC = "IEEE Transactions on Computers"} @string{IEEE-TCS = "IEEE Transactions on Circuits Systems"} +@String{IEEE-TIP = "IEEE Transactions on Image Processing"} @String{IEEE-TSP = "IEEE Transactions on Signal Processing"} @string{IEEP = "IEE Proceedings---Computers and Digital Techniques"} +@String{IJAC = "International Journal of Algebra and Computation"} +@String{IJACT = "International Journal of Applied Cryptography"}% ISSN = "1753-0571 (online), 1753-0563 (print)", @string{IJCM = "International Journal of Computer Mathematics"} @String{IJHS = "Indian Journal of History of Science"} @string{IJM = "Illinois Journal of Mathematics"} @@ -713,6 +758,8 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{IR = "International Review, New York"} @String{IS = "Informatik-Spektrum"} %ISSN: 0170-6012 (gedruckte Version), %ISSN: 1432-122X (elektronische Version) @String{ISC = "Information Sciences"} + + %%% J %%% @string{JALG = "Journal of Algebra"}% ISSN = "0021-8693", @string{JA = "Journal of Algorithms"}% ISSN = "0196-6774", @@ -720,6 +767,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{JAMC = "Journal of Applied Mathematics and Computing"} @string{JAMS = "Journal of the American Mathematical Society"} @string{JAFCM = "Journal of the Association for Computing Machinery"} +@String{JAMS = "Journal of the Australian Mathematical Society"} @string{JAMSA = "Journal of the Australian Mathematical Society, Series~A"}% ISSN = "0263-6115", @string{JAR = "Journal of Automated Reasoning"} @string{JC = "Journal of Cryptology"} @@ -731,6 +779,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{JCTB = "Journal of Combinatorial Theory, Series~B"} @string{JDMV = "Jahresberichte der DMV"} @string{JEGP = "The Journal of English and Germanic Philology, Urbana, Illinois"} +@String{JEMS = "Journal of the European Mathematical Society"} @string{JEP = "Journal de l'{\'{E}}cole Polytechnique"} @string{JFI = "Journal of the Franklin Institute"} @String{JIH = "The Journal of Intelligence History"} @@ -806,7 +855,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. %%% N %%% @string{NA = "Neues Archiv der Gesellschaft f{\"u}r {\"a}ltere deutsche Geschichtskunde"} @string{NAM = "Nouvelles Annales de Mathematiques"} -@string{NAMS = "Notices of the American Mathematical Society"} % ISSN = "0002-9920 (Print) and 1088-9477 (Electronic)", +@string{NAMS = "Notices of the American Mathematical Society"} % ISSN = "0002-9920 (Print) and 1088-9477 (Electronic)", @string{NAR = "The North American Review"} @string{NAS = "Proceedings of the National Academy of Sciences of the USA"} @string{NAVW = "Nieuw Archief voor Wiskunde"} @@ -839,7 +888,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{PIT = "Problems of Information Transmission"} @string{PJM = "Pacific Journal of Mathematics"}% ISSN = "0030-8730", @string{PJR = "Philips Journal of Research"} -@string{PKNAW = "Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen"} +@string{PKNAW = "Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen"} @string{PLMS = "Proceedings of the London Mathematical Society"}% ISSN = "0024-6115", @string{PLMS2 = "Proceedings of the London Mathematical Society, Second Series"} @string{PLMS3 = "Proceedings of the London Mathematical Society, Third Series"} @@ -857,6 +906,7 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @string{PRSE = "Proceedings of the Royal Society of Edinburgh"} @string{PRSL = "Proceedings of the Royal Society, London"} @String{PSIM = "Proceedings of the Steklov Institute of Mathematics"} +@String{PSPM = "Proceedings of Symposia in Pure Mathematics"} @string{PTRS = "Philosophical Transactions of the Royal Society of London"} %%% Q %%% @string{QJM = "Quarterly Journal of Mathematics"} @@ -916,9 +966,10 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{SMGBO = "Studien und Mitteilungen zur Geschichte des Benediktiner-Ordens"} @String{SNL = "Science News-Letter"} @string{SOE = "Sphinx-Oedipe"} +@String{SP = "Security {\&} Privacy"} @string{SPD = "Soviet Physics - Doklady"} @string{STT = "Suomalaisen Tiedeakatemian Toimituksia"} -@string{SW = "Spektrum der Wissenschaft"} +@string{SW = "Spektrum der Wissenschaft"} %%% T %%% @string{TAIEE = "Transactions of the American Institute of Electrical Engineers"} @string{TAMS = "Transactions of the American Mathematical Society"} @@ -930,6 +981,10 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. %%% U %%% @string{UMN = "{\cyr Uspekhi Matematicheskikh Nauk}"} @string{UMNengl = "{\cyr Uspekhi Matematicheski Nauk} (Uspekhi Matematicheski Nauk)"}% English translation: Russian Mathematical Surveys + +@String{USENIXSS12 = "Proceedings of the 21st USENIX Security Symposium"} +@String{USENIXSS13 = "Proceedings of the 22nd USENIX Security Symposium"} + %%% V %%% @string{VKCSN = "V{\v e}stn{\'i}k Kr{\'a}lovsk{\'e} {\v C}esk{\'e} Spole{\v c}nosti Nauk, T{\v r}{\'i}da Matematiko-P{\v r}irodov{\v e}deck{\' a}"} %%% W %%% @@ -958,4 +1013,3 @@ Und jetzt Strings f{\"{u}}r Zeitschriften udgl. @String{DMTCS = "Discrete Mathematics and Theoretical Computer Science"} @String{ANACM = "Applied Numerical Analysis and Computational Mathematics"} - diff --git a/Master/texmf-dist/doc/latex/computational-complexity/cc-cls-inline.tex b/Master/texmf-dist/doc/latex/computational-complexity/cc-cls-inline.tex index 18527d03224..7fe7ea76e5e 100644 --- a/Master/texmf-dist/doc/latex/computational-complexity/cc-cls-inline.tex +++ b/Master/texmf-dist/doc/latex/computational-complexity/cc-cls-inline.tex @@ -7,7 +7,7 @@ %% %% cc.dtx (with options: `cccls,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -39,7 +39,7 @@ \ifclass\expandafter\ProvidesClass\else\expandafter\ProvidesPackage\fi {\ifclass cc\else cc-cls\fi} [% CC MAIN DATE AND VERSION ON NEXT LINE -2012/06/21 v2.25 +2013/06/26 v2.25c computational complexity \ifclass document class\else package\fi] \RequirePackage{ccaux} @@ -419,45 +419,6 @@ computational complexity %% %% End of file `cc.cls'. \end{filecontents*} -\begin{filecontents*}{cc-cls.sty} -%% -%% This is file `cc-cls.sty', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% cc.dtx (with options: `ccsty,chartab') -%% -%% Copyright 2000-2012 -%% Michael N"usken, Joachim von zur Gathen, computational complexity -%% -%% IMPORTANT NOTICE: -%% -%% This is a generated file. It is part of the -%% computational complexity macro package -%% derived from cc.dtx by 'tex cc.ins'. -%% See cc.dtx for license information. -%% -%% \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 \~} -\input{cc.cls} -\endinput -%% -%% End of file `cc-cls.sty'. -\end{filecontents*} \begin{filecontents*}{cc2cite.sty} %% %% This is file `cc2cite.sty', @@ -467,7 +428,7 @@ computational complexity %% %% cc.dtx (with options: `cc2cite,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -538,7 +499,7 @@ computational complexity %% %% cc.dtx (with options: `cc4amsart,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -594,7 +555,7 @@ computational complexity %% %% cc.dtx (with options: `cc4apjrnl,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -660,7 +621,7 @@ computational complexity %% %% cc.dtx (with options: `cc4elsart,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -745,7 +706,7 @@ computational complexity %% %% cc.dtx (with options: `cc4jT,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -827,7 +788,7 @@ computational complexity %% %% cc.dtx (with options: `cc4llncs,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -919,7 +880,7 @@ computational complexity %% %% cc.dtx (with options: `cc4siamltex,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -998,7 +959,7 @@ computational complexity %% %% cc.dtx (with options: `cc4svjour,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -1084,7 +1045,7 @@ computational complexity %% %% cc.dtx (with options: `ccalgo,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -1110,7 +1071,7 @@ computational complexity %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{ccalgo}[2005/08/27 v2.05 +\ProvidesPackage{ccalgo}[2012/06/22 v2.25 algorithm environment for cc. Michael Nuesken, Bonn.] \let\namedalgorithm\@undefined \let\endnamedalgorithm\@undefined @@ -1723,7 +1684,7 @@ computational complexity %% %% cc.dtx (with options: `ccaux,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -1932,7 +1893,7 @@ computational complexity %% %% cc.dtx (with options: `cccite,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -2070,6 +2031,45 @@ computational complexity %% %% End of file `cccite.sty'. \end{filecontents*} +\begin{filecontents*}{cc-cls.sty} +%% +%% This is file `cc-cls.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cc.dtx (with options: `ccsty,chartab') +%% +%% Copyright 2000-2013 +%% Michael N"usken, Joachim von zur Gathen, computational complexity +%% +%% IMPORTANT NOTICE: +%% +%% This is a generated file. It is part of the +%% computational complexity macro package +%% derived from cc.dtx by 'tex cc.ins'. +%% See cc.dtx for license information. +%% +%% \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 \~} +\input{cc.cls} +\endinput +%% +%% End of file `cc-cls.sty'. +\end{filecontents*} \begin{filecontents*}{ccdbs.sty} %% %% This is file `ccdbs.sty', @@ -2079,7 +2079,7 @@ computational complexity %% %% cc.dtx (with options: `ccdbs,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -2135,7 +2135,7 @@ computational complexity %% %% cc.dtx (with options: `cclayout,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -2161,7 +2161,7 @@ computational complexity %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{cclayout}[2011/07/27 v2.18 cclayout. MNuesken] +\ProvidesPackage{cclayout}[2012/06/22 v2.25 cclayout. MNuesken] \let\@contact\relax \newcommand{\contact}[1]{\gdef\@contact{#1}} \AtBeginDocument{\if@ccpublish @@ -2700,7 +2700,7 @@ computational complexity \fi \fi}% } -\typeout{Now adjusting margins (\the\@marginmode).} +\typeout{Now adjusting margins: \the\@marginmode.} \ifcase\@marginmode \AtEndOfClass{% \oddsidemargin\paperwidth @@ -3090,7 +3090,7 @@ computational complexity %% %% cc.dtx (with options: `ccproof,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -3151,7 +3151,7 @@ computational complexity %% %% cc.dtx (with options: `ccqed,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -3379,7 +3379,7 @@ computational complexity %% %% cc.dtx (with options: `ccref,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -3443,7 +3443,7 @@ computational complexity %% %% cc.dtx (with options: `ccreltx,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -3523,7 +3523,7 @@ computational complexity %% %% cc.dtx (with options: `ccthm,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -3548,7 +3548,7 @@ computational complexity %% Right bracket \] Circumflex \^ Underscore \_ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} -\ProvidesPackage{ccthm}[2000/02/29 v2.05 +\ProvidesPackage{ccthm}[2012/06/22 v2.25 theorem environments for cc. Michael Nuesken, Bonn.] \newif\if@theoremitemprefixes \DeclareOption{theoremitemprefixes}{\@theoremitemprefixestrue} @@ -4486,7 +4486,7 @@ Submit %% %% cc.dtx (with options: `relabel,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -4608,7 +4608,7 @@ Submit %% %% cc.dtx (with options: `thcc,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -4634,7 +4634,7 @@ Submit %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{thcc}[2008/03/18 v2.08 +\ProvidesPackage{thcc}[2012/06/22 v2.25 computational complexity, theorem layouts. Michael Nuesken, Bonn.] \RequirePackage{theorem}[1995/11/23 v2.2c] @@ -4662,13 +4662,15 @@ Submit }{}% \if@manualbibliography\def\activate@shortcite{}\fi } +\newskip\postthmcmtskip +\postthmcmtskip .5em plus .5em \def\th@cc{% \normalfont\slshape \def\@begintheorem##1##2{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } \def\th@ccnn{% \normalfont\slshape @@ -4676,15 +4678,19 @@ Submit [\hskip\labelsep \theorem@headerfont ##1.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } +\newskip\postprfcmtskip +\postprfcmtskip .5em plus 1em \def\th@ccproof{% \normalfont\upshape \def\@begintheorem##1##2{\item - [\hskip\labelsep \theorem@headerfont ##1.\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1.\ \ ]% + \itemindent\labelsep}% \def\@opargbegintheorem##1##2##3{\item - [\hskip\labelsep \theorem@headerfont ##1\ % - \normalfont({\activate@shortcite{}##3}).\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1]% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postprfcmtskip + \itemindent\labelsep}% } \def\th@ccalgo{% \normalfont\upshape diff --git a/Master/texmf-dist/doc/latex/computational-complexity/cc.pdf b/Master/texmf-dist/doc/latex/computational-complexity/cc.pdf index a27144f7188..9068bc11d1f 100644 Binary files a/Master/texmf-dist/doc/latex/computational-complexity/cc.pdf and b/Master/texmf-dist/doc/latex/computational-complexity/cc.pdf differ diff --git a/Master/texmf-dist/doc/latex/computational-complexity/cc2.dbj b/Master/texmf-dist/doc/latex/computational-complexity/cc2.dbj index b0f8ba09300..e7581e397c9 100644 --- a/Master/texmf-dist/doc/latex/computational-complexity/cc2.dbj +++ b/Master/texmf-dist/doc/latex/computational-complexity/cc2.dbj @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc2dbj,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/doc/latex/computational-complexity/ccquickref.tex b/Master/texmf-dist/doc/latex/computational-complexity/ccquickref.tex index d46532b6dae..9a7afe220e8 100644 --- a/Master/texmf-dist/doc/latex/computational-complexity/ccquickref.tex +++ b/Master/texmf-dist/doc/latex/computational-complexity/ccquickref.tex @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `quickref,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/doc/latex/computational-complexity/cctemplate.tex b/Master/texmf-dist/doc/latex/computational-complexity/cctemplate.tex index 66528b2c0fd..123b991b427 100644 --- a/Master/texmf-dist/doc/latex/computational-complexity/cctemplate.tex +++ b/Master/texmf-dist/doc/latex/computational-complexity/cctemplate.tex @@ -22,7 +22,7 @@ \author{}% Insert author list here. (Each author must be given % including his/her current address, email and possibly % homepage. Lines are seperated by \\, different authors - % are seperated by \and .) + % are separated by \and .) %%\authorhead{}% If necessary insert running head authors here. %%\authorlist{}% If necessary insert title author list here. diff --git a/Master/texmf-dist/source/latex/computational-complexity/cc.dtx b/Master/texmf-dist/source/latex/computational-complexity/cc.dtx index ac68b13ba4d..f8c87511e31 100644 --- a/Master/texmf-dist/source/latex/computational-complexity/cc.dtx +++ b/Master/texmf-dist/source/latex/computational-complexity/cc.dtx @@ -2837,6 +2837,8 @@ multilingual,english]{cc} % Michael N{\"{u}}sken, Bonn} % \changes{v2.25}{2012/06/21}{Allowing longer theorem comments. % Michael N{\"{u}}sken, Bonn} +% \changes{v2.25b}{2013/06/26}{Changed in-proof item indention. +% Michael N{\"{u}}sken, Bonn} % \begin{macrocode} \NeedsTeXFormat{LaTeX2e}[1995/12/01] \providecommand\ignorespacesafterend{\@ignoretrue} @@ -2845,7 +2847,7 @@ multilingual,english]{cc} \ifclass\expandafter\ProvidesClass\else\expandafter\ProvidesPackage\fi {\ifclass cc\else cc-cls\fi} [% CC MAIN DATE AND VERSION ON NEXT LINE -2012/06/21 v2.25 +2013/06/26 v2.25c computational complexity \ifclass document class\else package\fi] % \end{macrocode} @@ -3898,7 +3900,7 @@ computational complexity % \begin{macrocode} %<*cclayout> \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{cclayout}[2011/07/27 v2.18 cclayout. MNuesken] +\ProvidesPackage{cclayout}[2012/06/22 v2.25 cclayout. MNuesken] \let\@contact\relax \newcommand{\contact}[1]{\gdef\@contact{#1}} \AtBeginDocument{\if@ccpublish @@ -4864,8 +4866,9 @@ computational complexity % We fit the margins so that 1~in + |\oddsidemargin| + |\textwidth| + % |\evensidemargin| + 1~in = |\paperwidth|. (Note that the margins % are usually measured with an offset of 1~in on each side.) +% \changes{v2.25c}{2013/10/14}{Removed parenthesis from typeout.} % \begin{macrocode} -\typeout{Now adjusting margins (\the\@marginmode).} +\typeout{Now adjusting margins: \the\@marginmode.} \ifcase\@marginmode % marginmode 0 \AtEndOfClass{% @@ -5714,7 +5717,7 @@ computational complexity % \begin{macrocode} %<*thcc> \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{thcc}[2008/03/18 v2.08 +\ProvidesPackage{thcc}[2012/06/22 v2.25 computational complexity, theorem layouts. Michael Nuesken, Bonn.] % \end{macrocode} @@ -5771,14 +5774,18 @@ computational complexity % \changes{v2.25}{2012/06/21}{Changed \cs{th@cc} and \cs{th@ccnn} so % that more than single line comments are possible. Michael % N{\"{u}}sken, Bonn} +% \changes{v2.25}{2012/06/27}{Modified spacing. Michael N{\"{u}}sken, +% Bonn} % \begin{macrocode} +\newskip\postthmcmtskip +\postthmcmtskip .5em plus .5em \def\th@cc{% \normalfont\slshape \def\@begintheorem##1##2{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } % \end{macrocode} % @@ -5792,21 +5799,29 @@ computational complexity [\hskip\labelsep \theorem@headerfont ##1.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } % \end{macrocode} % % This is the unnumbered layout for proofs \cc. The proof text is % typeset upright, the header terminates with a dot and a double % blank. +% \changes{v2.25b}{2013/06/26}{Set \cs{itemindent} in proofs to +% \cs{labelsep}, so that no negative indention is produced. You may +% use \cs{everyproof}{\cs{itemsep}1ex} or similar to have vertical +% space before in-proof items.} % \begin{macrocode} +\newskip\postprfcmtskip +\postprfcmtskip .5em plus 1em \def\th@ccproof{% \normalfont\upshape \def\@begintheorem##1##2{\item - [\hskip\labelsep \theorem@headerfont ##1.\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1.\ \ ]% + \itemindent\labelsep}% \def\@opargbegintheorem##1##2##3{\item - [\hskip\labelsep \theorem@headerfont ##1\ % - \normalfont({\activate@shortcite{}##3}).\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1]% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postprfcmtskip + \itemindent\labelsep}% } % \end{macrocode} % @@ -5851,7 +5866,7 @@ computational complexity % revised \filedate. % \begin{macrocode} %<*ccthm> -\ProvidesPackage{ccthm}[2000/02/29 v2.05 +\ProvidesPackage{ccthm}[2012/06/22 v2.25 theorem environments for cc. Michael Nuesken, Bonn.] % \end{macrocode} % @@ -6431,7 +6446,7 @@ computational complexity % and output: \cs{item}[itemtitle] does it.} % \begin{macrocode} \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{ccalgo}[2005/08/27 v2.05 +\ProvidesPackage{ccalgo}[2012/06/22 v2.25 algorithm environment for cc. Michael Nuesken, Bonn.] % \end{macrocode} % Next we undefine some macros in case of overloading. @@ -8563,6 +8578,8 @@ computational complexity % revised \filedate. % \changes{v2.07}{2007/01/11}{Changed bibliography basename to % \cs{jobname}. Michael N{\"{u}}sken, Bonn} +% \changes{v2.25a}{2012/06/25}{Corrected type. Michael N{\"{u}}sken, +% Bonn} % \begin{macrocode} %<*cctemplate> %%% Template (2011/07/27) for an article using cc @@ -8589,7 +8606,7 @@ computational complexity \author{}% Insert author list here. (Each author must be given % including his/her current address, email and possibly % homepage. Lines are seperated by \\, different authors - % are seperated by \and .) + % are separated by \and .) %%\authorhead{}% If necessary insert running head authors here. %%\authorlist{}% If necessary insert title author list here. diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc-cls.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc-cls.sty index 495737e651c..1b2033b6597 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc-cls.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc-cls.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccsty,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc.cls b/Master/texmf-dist/tex/latex/computational-complexity/cc.cls index 32627eb8c7c..86c01912117 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc.cls +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc.cls @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cccls,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -38,7 +38,7 @@ \ifclass\expandafter\ProvidesClass\else\expandafter\ProvidesPackage\fi {\ifclass cc\else cc-cls\fi} [% CC MAIN DATE AND VERSION ON NEXT LINE -2012/06/21 v2.25 +2013/06/26 v2.25c computational complexity \ifclass document class\else package\fi] \RequirePackage{ccaux} diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc2cite.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc2cite.sty index 3073f8e2c80..942dcf7d4ed 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc2cite.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc2cite.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc2cite,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4amsart.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4amsart.sty index a3044da3aa1..072b63a941d 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4amsart.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4amsart.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4amsart,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4apjrnl.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4apjrnl.sty index 17e2ed8431a..8ae67490a05 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4apjrnl.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4apjrnl.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4apjrnl,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4elsart.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4elsart.sty index 61ea650a9b4..009fa28b1b9 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4elsart.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4elsart.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4elsart,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4jT.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4jT.sty index 382c9761bea..91fe1a11902 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4jT.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4jT.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4jT,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4llncs.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4llncs.sty index d72538a378e..331182f16f1 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4llncs.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4llncs.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4llncs,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4siamltex.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4siamltex.sty index 757d013ed7f..a7bc0060340 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4siamltex.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4siamltex.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4siamltex,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cc4svjour.sty b/Master/texmf-dist/tex/latex/computational-complexity/cc4svjour.sty index 4d585c263f4..ebb678465c6 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cc4svjour.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cc4svjour.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cc4svjour,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccalgo.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccalgo.sty index 17d739808eb..52588c2e380 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccalgo.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccalgo.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccalgo,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -32,7 +32,7 @@ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{ccalgo}[2005/08/27 v2.05 +\ProvidesPackage{ccalgo}[2012/06/22 v2.25 algorithm environment for cc. Michael Nuesken, Bonn.] \let\namedalgorithm\@undefined \let\endnamedalgorithm\@undefined diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccaux.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccaux.sty index dba85f432d6..d3557a30a64 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccaux.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccaux.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccaux,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cccite.sty b/Master/texmf-dist/tex/latex/computational-complexity/cccite.sty index cb95e0442a7..cfaee1d4615 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cccite.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cccite.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cccite,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccdbs.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccdbs.sty index fe4453794b5..cfd3dd5c82d 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccdbs.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccdbs.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccdbs,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/cclayout.sty b/Master/texmf-dist/tex/latex/computational-complexity/cclayout.sty index a446e676aab..96aa76d62ca 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/cclayout.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/cclayout.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `cclayout,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -32,7 +32,7 @@ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{cclayout}[2011/07/27 v2.18 cclayout. MNuesken] +\ProvidesPackage{cclayout}[2012/06/22 v2.25 cclayout. MNuesken] \let\@contact\relax \newcommand{\contact}[1]{\gdef\@contact{#1}} \AtBeginDocument{\if@ccpublish @@ -571,7 +571,7 @@ \fi \fi}% } -\typeout{Now adjusting margins (\the\@marginmode).} +\typeout{Now adjusting margins: \the\@marginmode.} \ifcase\@marginmode \AtEndOfClass{% \oddsidemargin\paperwidth diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty index 3ec3401b46b..a38b256585e 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccproof.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccproof,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty index 024b260466e..394f2aecc70 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccqed.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccqed,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccref.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccref.sty index f5b00de2a49..b93586bd59d 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccref.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccref.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccref,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccreltx.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccreltx.sty index 7d8f8eaa8b6..0a8408e2768 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccreltx.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccreltx.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccreltx,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty index 3138eb30e1a..6bcf693fb81 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `ccthm,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -31,7 +31,7 @@ %% Right bracket \] Circumflex \^ Underscore \_ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} -\ProvidesPackage{ccthm}[2000/02/29 v2.05 +\ProvidesPackage{ccthm}[2012/06/22 v2.25 theorem environments for cc. Michael Nuesken, Bonn.] \newif\if@theoremitemprefixes \DeclareOption{theoremitemprefixes}{\@theoremitemprefixestrue} diff --git a/Master/texmf-dist/tex/latex/computational-complexity/relabel.sty b/Master/texmf-dist/tex/latex/computational-complexity/relabel.sty index 72b52591b97..d41f16b59e6 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/relabel.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/relabel.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `relabel,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: diff --git a/Master/texmf-dist/tex/latex/computational-complexity/thcc.sty b/Master/texmf-dist/tex/latex/computational-complexity/thcc.sty index 7b18b8a21e2..bf9d5a58a48 100644 --- a/Master/texmf-dist/tex/latex/computational-complexity/thcc.sty +++ b/Master/texmf-dist/tex/latex/computational-complexity/thcc.sty @@ -6,7 +6,7 @@ %% %% cc.dtx (with options: `thcc,chartab') %% -%% Copyright 2000-2012 +%% Copyright 2000-2013 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: @@ -32,7 +32,7 @@ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesPackage{thcc}[2008/03/18 v2.08 +\ProvidesPackage{thcc}[2012/06/22 v2.25 computational complexity, theorem layouts. Michael Nuesken, Bonn.] \RequirePackage{theorem}[1995/11/23 v2.2c] @@ -60,13 +60,15 @@ }{}% \if@manualbibliography\def\activate@shortcite{}\fi } +\newskip\postthmcmtskip +\postthmcmtskip .5em plus .5em \def\th@cc{% \normalfont\slshape \def\@begintheorem##1##2{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1\ ##2]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } \def\th@ccnn{% \normalfont\slshape @@ -74,15 +76,19 @@ [\hskip\labelsep \theorem@headerfont ##1.]}% \def\@opargbegintheorem##1##2##3{\item [\hskip\labelsep \theorem@headerfont ##1]% - {\normalfont({\activate@shortcite{}##3}).}}% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postthmcmtskip}% } +\newskip\postprfcmtskip +\postprfcmtskip .5em plus 1em \def\th@ccproof{% \normalfont\upshape \def\@begintheorem##1##2{\item - [\hskip\labelsep \theorem@headerfont ##1.\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1.\ \ ]% + \itemindent\labelsep}% \def\@opargbegintheorem##1##2##3{\item - [\hskip\labelsep \theorem@headerfont ##1\ % - \normalfont({\activate@shortcite{}##3}).\ \ ]}% + [\hskip\labelsep \theorem@headerfont ##1]% + {\normalfont({\activate@shortcite{}##3}).}\hskip\postprfcmtskip + \itemindent\labelsep}% } \def\th@ccalgo{% \normalfont\upshape -- cgit v1.2.3