From 423ea013092adb467601feb9963da1f9defdafea Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 1 Aug 2019 20:47:49 +0100 Subject: [PATCH] Highlight antiquotations in (S)ML code. --- .../document/lstisadof-manual.sty | 30 ++----------------- 1 file changed, 3 insertions(+), 27 deletions(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty index f625931f..d104d1a6 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty +++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty @@ -1,30 +1,3 @@ -% Copyright (c) 2019 The University of Exeter. -% -% Redistribution and use in source and binary forms, with or without -% modification, are permitted provided that the following conditions -% are met: -% 1. Redistributions of source code must retain the above copyright -% notice, this list of conditions and the following disclaimer. -% 2. Redistributions in binary form must reproduce the above copyright -% notice, this list of conditions and the following disclaimer in -% the documentation and/or other materials provided with the -% distribution. -% THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS -% "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT -% LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS -% FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE -% COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, -% INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, -% BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; -% LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER -% CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -% LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN -% ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE -% POSSIBILITY OF SUCH DAMAGE. -% -% SPDX-License-Identifier: BSD-2-Clause - - \usepackage{tikz} \usepackage[many]{tcolorbox} \tcbuselibrary{listings} @@ -259,6 +232,9 @@ % } ,keywordstyle=[6]{\itshape}% ,morekeywords=[6]{args_type}% + ,tag=**[s]{@\{}{\}}% + ,tagstyle=\color{CornflowerBlue}% + ,markfirstintag=true% }% \def\inlinesml{\lstinline[style=sml,breaklines=true,mathescape,breakatwhitespace=true]} \newtcblisting{sml}[1][]{%