diff --git a/CC-By-SA-4.0.txt b/CC-By-SA-4.0.txt new file mode 100644 index 0000000..e26cd4f --- /dev/null +++ b/CC-By-SA-4.0.txt @@ -0,0 +1,425 @@ +Attribution-ShareAlike 4.0 International + +======================================================================= + +Creative Commons Corporation ("Creative Commons") is not a law firm and +does not provide legal services or legal advice. Distribution of +Creative Commons public licenses does not create a lawyer-client or +other relationship. Creative Commons makes its licenses and related +information available on an "as-is" basis. Creative Commons gives no +warranties regarding its licenses, any material licensed under their +terms and conditions, or any related information. Creative Commons +disclaims all liability for damages resulting from their use to the +fullest extent possible. + +Using Creative Commons Public Licenses + +Creative Commons public licenses provide a standard set of terms and +conditions that creators and other rights holders may use to share +original works of authorship and other material subject to copyright +and certain other rights specified in the public license below. The +following considerations are for informational purposes only, are not +exhaustive, and do not form part of our licenses. + + Considerations for licensors: Our public licenses are + intended for use by those authorized to give the public + permission to use material in ways otherwise restricted by + copyright and certain other rights. Our licenses are + irrevocable. Licensors should read and understand the terms + and conditions of the license they choose before applying it. + Licensors should also secure all rights necessary before + applying our licenses so that the public can reuse the + material as expected. Licensors should clearly mark any + material not subject to the license. This includes other CC- + licensed material, or material used under an exception or + limitation to copyright. More considerations for licensors: + wiki.creativecommons.org/Considerations_for_licensors + + Considerations for the public: By using one of our public + licenses, a licensor grants the public permission to use the + licensed material under specified terms and conditions. If + the licensor's permission is not necessary for any reason--for + example, because of any applicable exception or limitation to + copyright--then that use is not regulated by the license. Our + licenses grant only permissions under copyright and certain + other rights that a licensor has authority to grant. Use of + the licensed material may still be restricted for other + reasons, including because others have copyright or other + rights in the material. A licensor may make special requests, + such as asking that all changes be marked or described. + Although not required by our licenses, you are encouraged to + respect those requests where reasonable. More_considerations + for the public: + wiki.creativecommons.org/Considerations_for_licensees + +======================================================================= + +Creative Commons Attribution-ShareAlike 4.0 International Public +License + +By exercising the Licensed Rights (defined below), You accept and agree +to be bound by the terms and conditions of this Creative Commons +Attribution-ShareAlike 4.0 International Public License ("Public +License"). To the extent this Public License may be interpreted as a +contract, You are granted the Licensed Rights in consideration of Your +acceptance of these terms and conditions, and the Licensor grants You +such rights in consideration of benefits the Licensor receives from +making the Licensed Material available under these terms and +conditions. + + +Section 1 -- Definitions. + + a. Adapted Material means material subject to Copyright and Similar + Rights that is derived from or based upon the Licensed Material + and in which the Licensed Material is translated, altered, + arranged, transformed, or otherwise modified in a manner requiring + permission under the Copyright and Similar Rights held by the + Licensor. For purposes of this Public License, where the Licensed + Material is a musical work, performance, or sound recording, + Adapted Material is always produced where the Licensed Material is + synched in timed relation with a moving image. + + b. Adapter's License means the license You apply to Your Copyright + and Similar Rights in Your contributions to Adapted Material in + accordance with the terms and conditions of this Public License. + + c. BY-SA Compatible License means a license listed at + creativecommons.org/compatiblelicenses, approved by Creative + Commons as essentially the equivalent of this Public License. + + d. Copyright and Similar Rights means copyright and/or similar rights + closely related to copyright including, without limitation, + performance, broadcast, sound recording, and Sui Generis Database + Rights, without regard to how the rights are labeled or + categorized. For purposes of this Public License, the rights + specified in Section 2(b)(1)-(2) are not Copyright and Similar + Rights. + + e. Effective Technological Measures means those measures that, in the + absence of proper authority, may not be circumvented under laws + fulfilling obligations under Article 11 of the WIPO Copyright + Treaty adopted on December 20, 1996, and/or similar international + agreements. + + f. Exceptions and Limitations means fair use, fair dealing, and/or + any other exception or limitation to Copyright and Similar Rights + that applies to Your use of the Licensed Material. + + g. License Elements means the license attributes listed in the name + of a Creative Commons Public License. The License Elements of this + Public License are Attribution and ShareAlike. + + h. Licensed Material means the artistic or literary work, database, + or other material to which the Licensor applied this Public + License. + + i. Licensed Rights means the rights granted to You subject to the + terms and conditions of this Public License, which are limited to + all Copyright and Similar Rights that apply to Your use of the + Licensed Material and that the Licensor has authority to license. + + j. Licensor means the individual(s) or entity(ies) granting rights + under this Public License. + + k. Share means to provide material to the public by any means or + process that requires permission under the Licensed Rights, such + as reproduction, public display, public performance, distribution, + dissemination, communication, or importation, and to make material + available to the public including in ways that members of the + public may access the material from a place and at a time + individually chosen by them. + + l. Sui Generis Database Rights means rights other than copyright + resulting from Directive 96/9/EC of the European Parliament and of + the Council of 11 March 1996 on the legal protection of databases, + as amended and/or succeeded, as well as other essentially + equivalent rights anywhere in the world. + + m. You means the individual or entity exercising the Licensed Rights + under this Public License. Your has a corresponding meaning. + + +Section 2 -- Scope. + + a. License grant. + + 1. Subject to the terms and conditions of this Public License, + the Licensor hereby grants You a worldwide, royalty-free, + non-sublicensable, non-exclusive, irrevocable license to + exercise the Licensed Rights in the Licensed Material to: + + a. reproduce and Share the Licensed Material, in whole or + in part; and + + b. produce, reproduce, and Share Adapted Material. + + 2. Exceptions and Limitations. For the avoidance of doubt, where + Exceptions and Limitations apply to Your use, this Public + License does not apply, and You do not need to comply with + its terms and conditions. + + 3. Term. The term of this Public License is specified in Section + 6(a). + + 4. Media and formats; technical modifications allowed. The + Licensor authorizes You to exercise the Licensed Rights in + all media and formats whether now known or hereafter created, + and to make technical modifications necessary to do so. The + Licensor waives and/or agrees not to assert any right or + authority to forbid You from making technical modifications + necessary to exercise the Licensed Rights, including + technical modifications necessary to circumvent Effective + Technological Measures. For purposes of this Public License, + simply making modifications authorized by this Section 2(a) + (4) never produces Adapted Material. + + 5. Downstream recipients. + + a. Offer from the Licensor -- Licensed Material. Every + recipient of the Licensed Material automatically + receives an offer from the Licensor to exercise the + Licensed Rights under the terms and conditions of this + Public License. + + b. Additional offer from the Licensor -- Adapted Material. + Every recipient of Adapted Material from You + automatically receives an offer from the Licensor to + exercise the Licensed Rights in the Adapted Material + under the conditions of the Adapter's License You apply. + + c. No downstream restrictions. You may not offer or impose + any additional or different terms or conditions on, or + apply any Effective Technological Measures to, the + Licensed Material if doing so restricts exercise of the + Licensed Rights by any recipient of the Licensed + Material. + + 6. No endorsement. Nothing in this Public License constitutes or + may be construed as permission to assert or imply that You + are, or that Your use of the Licensed Material is, connected + with, or sponsored, endorsed, or granted official status by, + the Licensor or others designated to receive attribution as + provided in Section 3(a)(1)(A)(i). + + b. Other rights. + + 1. Moral rights, such as the right of integrity, are not + licensed under this Public License, nor are publicity, + privacy, and/or other similar personality rights; however, to + the extent possible, the Licensor waives and/or agrees not to + assert any such rights held by the Licensor to the limited + extent necessary to allow You to exercise the Licensed + Rights, but not otherwise. + + 2. Patent and trademark rights are not licensed under this + Public License. + + 3. To the extent possible, the Licensor waives any right to + collect royalties from You for the exercise of the Licensed + Rights, whether directly or through a collecting society + under any voluntary or waivable statutory or compulsory + licensing scheme. In all other cases the Licensor expressly + reserves any right to collect such royalties. + + +Section 3 -- License Conditions. + +Your exercise of the Licensed Rights is expressly made subject to the +following conditions. + + a. Attribution. + + 1. If You Share the Licensed Material (including in modified + form), You must: + + a. retain the following if it is supplied by the Licensor + with the Licensed Material: + + i. identification of the creator(s) of the Licensed + Material and any others designated to receive + attribution, in any reasonable manner requested by + the Licensor (including by pseudonym if + designated); + + ii. a copyright notice; + + iii. a notice that refers to this Public License; + + iv. a notice that refers to the disclaimer of + warranties; + + v. a URI or hyperlink to the Licensed Material to the + extent reasonably practicable; + + b. indicate if You modified the Licensed Material and + retain an indication of any previous modifications; and + + c. indicate the Licensed Material is licensed under this + Public License, and include the text of, or the URI or + hyperlink to, this Public License. + + 2. You may satisfy the conditions in Section 3(a)(1) in any + reasonable manner based on the medium, means, and context in + which You Share the Licensed Material. For example, it may be + reasonable to satisfy the conditions by providing a URI or + hyperlink to a resource that includes the required + information. + + 3. If requested by the Licensor, You must remove any of the + information required by Section 3(a)(1)(A) to the extent + reasonably practicable. + + b. ShareAlike. + + In addition to the conditions in Section 3(a), if You Share + Adapted Material You produce, the following conditions also apply. + + 1. The Adapter's License You apply must be a Creative Commons + license with the same License Elements, this version or + later, or a BY-SA Compatible License. + + 2. You must include the text of, or the URI or hyperlink to, the + Adapter's License You apply. You may satisfy this condition + in any reasonable manner based on the medium, means, and + context in which You Share Adapted Material. + + 3. You may not offer or impose any additional or different terms + or conditions on, or apply any Effective Technological + Measures to, Adapted Material that restrict exercise of the + rights granted under the Adapter's License You apply. + + +Section 4 -- Sui Generis Database Rights. + +Where the Licensed Rights include Sui Generis Database Rights that +apply to Your use of the Licensed Material: + + a. for the avoidance of doubt, Section 2(a)(1) grants You the right + to extract, reuse, reproduce, and Share all or a substantial + portion of the contents of the database; + + b. if You include all or a substantial portion of the database + contents in a database in which You have Sui Generis Database + Rights, then the database in which You have Sui Generis Database + Rights (but not its individual contents) is Adapted Material, + + including for purposes of Section 3(b); and + c. You must comply with the conditions in Section 3(a) if You Share + all or a substantial portion of the contents of the database. + +For the avoidance of doubt, this Section 4 supplements and does not +replace Your obligations under this Public License where the Licensed +Rights include other Copyright and Similar Rights. + + +Section 5 -- Disclaimer of Warranties and Limitation of Liability. + + a. UNLESS OTHERWISE SEPARATELY UNDERTAKEN BY THE LICENSOR, TO THE + EXTENT POSSIBLE, THE LICENSOR OFFERS THE LICENSED MATERIAL AS-IS + AND AS-AVAILABLE, AND MAKES NO REPRESENTATIONS OR WARRANTIES OF + ANY KIND CONCERNING THE LICENSED MATERIAL, WHETHER EXPRESS, + IMPLIED, STATUTORY, OR OTHER. THIS INCLUDES, WITHOUT LIMITATION, + WARRANTIES OF TITLE, MERCHANTABILITY, FITNESS FOR A PARTICULAR + PURPOSE, NON-INFRINGEMENT, ABSENCE OF LATENT OR OTHER DEFECTS, + ACCURACY, OR THE PRESENCE OR ABSENCE OF ERRORS, WHETHER OR NOT + KNOWN OR DISCOVERABLE. WHERE DISCLAIMERS OF WARRANTIES ARE NOT + ALLOWED IN FULL OR IN PART, THIS DISCLAIMER MAY NOT APPLY TO YOU. + + b. TO THE EXTENT POSSIBLE, IN NO EVENT WILL THE LICENSOR BE LIABLE + TO YOU ON ANY LEGAL THEORY (INCLUDING, WITHOUT LIMITATION, + NEGLIGENCE) OR OTHERWISE FOR ANY DIRECT, SPECIAL, INDIRECT, + INCIDENTAL, CONSEQUENTIAL, PUNITIVE, EXEMPLARY, OR OTHER LOSSES, + COSTS, EXPENSES, OR DAMAGES ARISING OUT OF THIS PUBLIC LICENSE OR + USE OF THE LICENSED MATERIAL, EVEN IF THE LICENSOR HAS BEEN + ADVISED OF THE POSSIBILITY OF SUCH LOSSES, COSTS, EXPENSES, OR + DAMAGES. WHERE A LIMITATION OF LIABILITY IS NOT ALLOWED IN FULL OR + IN PART, THIS LIMITATION MAY NOT APPLY TO YOU. + + c. The disclaimer of warranties and limitation of liability provided + above shall be interpreted in a manner that, to the extent + possible, most closely approximates an absolute disclaimer and + waiver of all liability. + + +Section 6 -- Term and Termination. + + a. This Public License applies for the term of the Copyright and + Similar Rights licensed here. However, if You fail to comply with + this Public License, then Your rights under this Public License + terminate automatically. + + b. Where Your right to use the Licensed Material has terminated under + Section 6(a), it reinstates: + + 1. automatically as of the date the violation is cured, provided + it is cured within 30 days of Your discovery of the + violation; or + + 2. upon express reinstatement by the Licensor. + + For the avoidance of doubt, this Section 6(b) does not affect any + right the Licensor may have to seek remedies for Your violations + of this Public License. + + c. For the avoidance of doubt, the Licensor may also offer the + Licensed Material under separate terms or conditions or stop + distributing the Licensed Material at any time; however, doing so + will not terminate this Public License. + + d. Sections 1, 5, 6, 7, and 8 survive termination of this Public + License. + + +Section 7 -- Other Terms and Conditions. + + a. The Licensor shall not be bound by any additional or different + terms or conditions communicated by You unless expressly agreed. + + b. Any arrangements, understandings, or agreements regarding the + Licensed Material not stated herein are separate from and + independent of the terms and conditions of this Public License. + + +Section 8 -- Interpretation. + + a. For the avoidance of doubt, this Public License does not, and + shall not be interpreted to, reduce, limit, restrict, or impose + conditions on any use of the Licensed Material that could lawfully + be made without permission under this Public License. + + b. To the extent possible, if any provision of this Public License is + deemed unenforceable, it shall be automatically reformed to the + minimum extent necessary to make it enforceable. If the provision + cannot be reformed, it shall be severed from this Public License + without affecting the enforceability of the remaining terms and + conditions. + + c. No term or condition of this Public License will be waived and no + failure to comply consented to unless expressly agreed to by the + Licensor. + + d. Nothing in this Public License constitutes or may be interpreted + as a limitation upon, or waiver of, any privileges and immunities + that apply to the Licensor or You, including from the legal + processes of any jurisdiction or authority. + + +======================================================================= + +Creative Commons is not a party to its public licenses. +Notwithstanding, Creative Commons may elect to apply one of its public +licenses to material it publishes and in those instances will be +considered the "Licensor." Except for the limited purpose of indicating +that material is shared under a Creative Commons public license or as +otherwise permitted by the Creative Commons policies published at +creativecommons.org/policies, Creative Commons does not authorize the +use of the trademark "Creative Commons" or any other trademark or logo +of Creative Commons without its prior written consent including, +without limitation, in connection with any unauthorized modifications +to any of its public licenses or any other arrangements, +understandings, or agreements concerning use of licensed material. For +the avoidance of doubt, this paragraph does not form part of the public +licenses. + +Creative Commons may be contacted at creativecommons.org. diff --git a/README.md b/README.md index 0db6f13..a4abb5b 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,8 @@ # Slides Instructional Slides for E-ALE courses + +## Licensing + +For the slides -- and any material that is written in human natural languages +included herein -- the license is: +[Creative Commons Attribution Share Alike 4.0 International License (CC-BY-SA-4.0), a copy of which is in the source repository](CC-By-SA-4.0.txt). diff --git a/buildroot/src/minted.sty b/buildroot/src/minted.sty deleted file mode 100644 index 0e0585c..0000000 --- a/buildroot/src/minted.sty +++ /dev/null @@ -1,239 +0,0 @@ -%% -%% This is file `minted.sty', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% minted.dtx (with options: `package') -%% Copyright 2010--2011 Konrad Rudolph -%% -%% This work may be distributed and/or modified under the -%% conditions of the LaTeX Project Public License, either version 1.3 -%% of this license or (at your option) any later version. -%% The latest version of this license is in -%% http://www.latex-project.org/lppl.txt -%% and version 1.3 or later is part of all distributions of LaTeX -%% version 2005/12/01 or later. -%% -%% Additionally, the project may be distributed under the terms of the new BSD -%% license. -%% -%% This work has the LPPL maintenance status `maintained'. -%% -%% The Current Maintainer of this work is Konrad Rudolph. -%% -%% This work consists of the files minted.dtx and minted.ins -%% and the derived file minted.sty. -\NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{minted}[2011/09/17 v1.7 Yet another Pygments shim for LaTeX] -\RequirePackage{keyval} -\RequirePackage{fancyvrb} -\RequirePackage{xcolor} -\RequirePackage{float} -\RequirePackage{ifthen} -\RequirePackage{calc} -\RequirePackage{ifplatform} -\DeclareOption{chapter}{\def\minted@float@within{chapter}} -\DeclareOption{section}{\def\minted@float@within{section}} -\ProcessOptions\relax -\ifwindows - \providecommand\DeleteFile[1]{\immediate\write18{del #1}} -\else - \providecommand\DeleteFile[1]{\immediate\write18{rm #1}} -\fi -\newboolean{AppExists} -\newcommand\TestAppExists[1]{ - \ifwindows - \DeleteFile{\jobname.aex} - \immediate\write18{for \string^\@percentchar i in (#1.exe #1.bat #1.cmd) - do set >\jobname.aex >\jobname.aex} %$ - \newread\@appexistsfile - \immediate\openin\@appexistsfile\jobname.aex - \expandafter\def\expandafter\@tmp@cr\expandafter{\the\endlinechar} - \endlinechar=-1\relax - \readline\@appexistsfile to \@apppathifexists - \endlinechar=\@tmp@cr - \ifthenelse{\equal{\@apppathifexists}{}} - {\AppExistsfalse} - {\AppExiststrue} - \immediate\closein\@appexistsfile - \DeleteFile{\jobname.aex} -\immediate\typeout{file deleted} - \else - \immediate\write18{which #1 && touch \jobname.aex} - \IfFileExists{\jobname.aex} - {\AppExiststrue - \DeleteFile{\jobname.aex}} - {\AppExistsfalse} - \fi} -\newcommand\minted@resetoptions{} -\newcommand\minted@defopt[1]{ - \expandafter\def\expandafter\minted@resetoptions\expandafter{% - \minted@resetoptions - \@namedef{minted@opt@#1}{}}} -\newcommand\minted@opt[1]{ - \expandafter\detokenize% - \expandafter\expandafter\expandafter{\csname minted@opt@#1\endcsname}} -\newcommand\minted@define@opt[3][]{ - \minted@defopt{#2} - \ifthenelse{\equal{#1}{}}{ - \define@key{minted@opt}{#2}{\@namedef{minted@opt@#2}{#3}}} - {\define@key{minted@opt}{#2}[#1]{\@namedef{minted@opt@#2}{#3}}}} -\newcommand\minted@define@switch[3][]{ - \minted@defopt{#2} - \define@booleankey{minted@opt}{#2} - {\@namedef{minted@opt@#2}{#3}} - {\@namedef{minted@opt@#2}{#1}}} -\minted@defopt{extra} -\newcommand\minted@define@extra[1]{ - \define@key{minted@opt}{#1}{ - \expandafter\def\expandafter\minted@opt@extra\expandafter{% - \minted@opt@extra,#1=##1}}} -\newcommand\minted@define@extra@switch[1]{ - \define@booleankey{minted@opt}{#1} - {\expandafter\def\expandafter\minted@opt@extra\expandafter{% - \minted@opt@extra,#1}} - {\expandafter\def\expandafter\minted@opt@extra\expandafter{% - \minted@opt@extra,#1=false}}} -\minted@define@switch{texcl}{-P texcomments} -\minted@define@switch{mathescape}{-P mathescape} -\minted@define@switch{linenos}{-P linenos} -\minted@define@switch{startinline}{-P startinline} -\minted@define@switch[-P funcnamehighlighting=False]% - {funcnamehighlighting}{-P funcnamehighlighting} -\minted@define@opt{gobble}{-F gobble:n=#1} -\minted@define@opt{bgcolor}{#1} -\minted@define@extra{frame} -\minted@define@extra{framesep} -\minted@define@extra{framerule} -\minted@define@extra{rulecolor} -\minted@define@extra{numbersep} -\minted@define@extra{firstnumber} -\minted@define@extra{stepnumber} -\minted@define@extra{firstline} -\minted@define@extra{lastline} -\minted@define@extra{baselinestretch} -\minted@define@extra{xleftmargin} -\minted@define@extra{xrightmargin} -\minted@define@extra{fillcolor} -\minted@define@extra{tabsize} -\minted@define@extra{fontfamily} -\minted@define@extra{fontsize} -\minted@define@extra{fontshape} -\minted@define@extra{fontseries} -\minted@define@extra{formatcom} -\minted@define@extra{label} -\minted@define@extra@switch{numberblanklines} -\minted@define@extra@switch{showspaces} -\minted@define@extra@switch{resetmargins} -\minted@define@extra@switch{samepage} -\minted@define@extra@switch{showtabs} -\minted@define@extra@switch{obeytabs} -\newsavebox{\minted@bgbox} -\newenvironment{minted@colorbg}[1]{ - \def\minted@bgcol{#1} - \noindent - \begin{lrbox}{\minted@bgbox} - \begin{minipage}{\linewidth-2\fboxsep}} - {\end{minipage} - \end{lrbox}% - \colorbox{\minted@bgcol}{\usebox{\minted@bgbox}}} -\newwrite\minted@code -\newcommand\minted@savecode[1]{ - \immediate\openout\minted@code\jobname.pyg - \immediate\write\minted@code{#1} - \immediate\closeout\minted@code} -\newcommand\minted@pygmentize[2][\jobname.pyg]{ - \def\minted@cmd{pygmentize -l #2 -f latex -F tokenmerge - \minted@opt{gobble} \minted@opt{texcl} \minted@opt{mathescape} - \minted@opt{startinline} \minted@opt{funcnamehighlighting} - \minted@opt{linenos} -P "verboptions=\minted@opt{extra}" - -o \jobname.out.pyg #1} - \immediate\write18{\minted@cmd} - % For debugging, uncomment: - %\immediate\typeout{\minted@cmd} - \ifthenelse{\equal{\minted@opt@bgcolor}{}} - {} - {\begin{minted@colorbg}{\minted@opt@bgcolor}} - \input{\jobname.out.pyg} - \ifthenelse{\equal{\minted@opt@bgcolor}{}} - {} - {\end{minted@colorbg}} - \DeleteFile{\jobname.out.pyg}} -\newcommand\minted@usedefaultstyle{\usemintedstyle{default}} -\newcommand\usemintedstyle[1]{ - \renewcommand\minted@usedefaultstyle{} - \immediate\write18{pygmentize -S #1 -f latex > \jobname.pyg} - \input{\jobname.pyg}} -\newcommand\mint[3][]{ - \DefineShortVerb{#3} - \minted@resetoptions - \setkeys{minted@opt}{#1} - \SaveVerb[aftersave={ - \UndefineShortVerb{#3} - \minted@savecode{\FV@SV@minted@verb} - \minted@pygmentize{#2} - \DeleteFile{\jobname.pyg}}]{minted@verb}#3} -\newcommand\minted@proglang[1]{} -\newenvironment{minted}[2][] - {\VerbatimEnvironment - \renewcommand{\minted@proglang}[1]{#2} - \minted@resetoptions - \setkeys{minted@opt}{#1} - \begin{VerbatimOut}[codes={\catcode`\^^I=12}]{\jobname.pyg}}% - {\end{VerbatimOut} - \minted@pygmentize{\minted@proglang{}} - \DeleteFile{\jobname.pyg}} -\newcommand\inputminted[3][]{ - \minted@resetoptions - \setkeys{minted@opt}{#1} - \minted@pygmentize[#3]{#2}} -\newcommand\newminted[3][]{ - \ifthenelse{\equal{#1}{}} - {\def\minted@envname{#2code}} - {\def\minted@envname{#1}} - \newenvironment{\minted@envname} - {\VerbatimEnvironment\begin{minted}[#3]{#2}} - {\end{minted}} - \newenvironment{\minted@envname *}[1] - {\VerbatimEnvironment\begin{minted}[#3,##1]{#2}} - {\end{minted}}} -\newcommand\newmint[3][]{ - \ifthenelse{\equal{#1}{}} - {\def\minted@shortname{#2}} - {\def\minted@shortname{#1}} - \expandafter\newcommand\csname\minted@shortname\endcsname[2][]{ - \mint[#3,##1]{#2}##2}} -\newcommand\newmintedfile[3][]{ - \ifthenelse{\equal{#1}{}} - {\def\minted@shortname{#2file}} - {\def\minted@shortname{#1}} - \expandafter\newcommand\csname\minted@shortname\endcsname[2][]{ - \inputminted[#3,##1]{#2}{##2}}} -\@ifundefined{minted@float@within} - {\newfloat{listing}{h}{lol}} - {\newfloat{listing}{h}{lol}[\minted@float@within]} -\newcommand\listingscaption{Listing} -\floatname{listing}{\listingscaption} -\newcommand\listoflistingscaption{List of listings} -\providecommand\listoflistings{\listof{listing}{\listoflistingscaption}} -\AtBeginDocument{ - \minted@usedefaultstyle} -\AtEndOfPackage{ - \ifnum\pdf@shellescape=1\relax\else - \PackageError{minted} - {You must invoke LaTeX with the - -shell-escape flag} - {Pass the -shell-escape flag to LaTeX. Refer to the minted.sty - documentation for more information.}\fi - \TestAppExists{pygmentize} - \ifAppExists\else - \PackageError{minted} - {You must have `pygmentize' installed - to use this package} - {Refer to the installation instructions in the minted - documentation for more information.} - \fi} -\endinput -%% -%% End of file `minted.sty'.