From c819fabbb8da669952cb7e2e5937c73ff6dcfabe Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Tue, 5 Mar 2013 16:58:16 -0800
Subject: Removed Dafny, Jennisys, Chalice, and BCT, which now live in
 different Codeplex repositories.

---
 Util/latex/chalice.sty |  63 ----------------------------
 Util/latex/dafny.sty   | 110 -------------------------------------------------
 2 files changed, 173 deletions(-)
 delete mode 100644 Util/latex/chalice.sty
 delete mode 100644 Util/latex/dafny.sty

(limited to 'Util/latex')

diff --git a/Util/latex/chalice.sty b/Util/latex/chalice.sty
deleted file mode 100644
index a04d6f23..00000000
--- a/Util/latex/chalice.sty
+++ /dev/null
@@ -1,63 +0,0 @@
-\usepackage{listings}
-%\lstloadlanguages{C}
-\lstdefinestyle{chalice}{%
-  numbers=none,
-  firstnumber=0,
-  numberstyle=\tiny,
-  stepnumber=5,
-%  basicstyle=\scriptsize\sffamily,%
-%  commentstyle=\itshape,%
-%  keywordstyle=\bfseries,%
-%  ndkeywordstyle=\bfseries,%
-%  language=[Sharp]C,
-  morekeywords={%
-    above,acc,acquire,and,assert,assigned,assume,%
-    below,between,bool,%
-    call,class,const,%
-    downgrade,%
-    else,ensures,eval,exists,%
-    false,fold,forall,fork,free,function,%
-    ghost,%
-    holds,%
-    if,in,int,invariant,ite,%
-    join,%
-    lock,lockbottom,lockchange,%
-    method,module,%
-    new,nil,null,%
-    old,%
-    predicate,%
-    rd,reorder,release,requires,result,returns,%
-    seq,share,string,%
-    this,token,true,%
-    unfold,unfolding,unshare,%
-    var,%
-    waitlevel,while},
-  literate=%
-    {=}{{=~}}1%
-    {+=}{{+}{=}~}3%
-    {-=}{{-}{=}~}3%
-    {*=}{{*}{=}~}3%
-    {++}{{+}{+}}2%
-    {--}{{-}{-}}2%
-    {==}{==}2%
-    {<=}{<=}2%
-    {=>}{=>}2%
-    {==>}{==>}3 %
-    {<==>}{<==>}4 %
-%% %    {!}{$\lnot$}1%  don't do this if ! is also used to indicate non-null types
-    {!=}{!=}2%
-}%
-\lstnewenvironment{chalice}[1][]{%
-  \lstset{style=chalice,
-    floatplacement={tbp},showstringspaces=false,captionpos=b,
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}%
-\lstnewenvironment{chaliceNoLines}[1][]{%
-  \lstset{style=chalice,
-    floatplacement={tbp},showstringspaces=false,captionpos=b,
-    xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}%
-\def\S{%
-    \lstinline[style=chalice,basicstyle=\ttfamily,columns=fixed]}
-\newcommand{\lstfile}[1]{
-  \lstinputlisting[style=chalice,%
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,columns=fixed]{#1}
-}
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
deleted file mode 100644
index 879b90cb..00000000
--- a/Util/latex/dafny.sty
+++ /dev/null
@@ -1,110 +0,0 @@
-% dafny.sty
-% Dafny mode for the LaTeX listings package.
-% Rustan Leino, 22 June 2008.
-
-\usepackage{listings}
-
-\lstdefinelanguage{dafny}{
-  morekeywords={class,datatype,codatatype,type,iterator,
-      bool,nat,int,object,set,multiset,seq,array,array2,array3,map,
-      function,predicate,copredicate,
-      ghost,var,static,refines,
-      method,constructor,returns,yields,module,import,default,opened,as,in,
-      requires,modifies,ensures,reads,decreases,free,
-      % expressions
-      match,case,false,true,null,old,fresh,choose,this,
-      % statements
-      assert,assume,print,new,if,then,else,while,invariant,break,label,return,yield,
-      parallel,where,calc
-      },
-  literate=%
-    {:}{$\colon$}1
-    {::}{$\bullet$}2
-    {:=}{$:$$=$}2
-    {!}{$\lnot$}1
-    {!!}{$\not\cap$}1
-    {==}{$=$}1
-    {!=}{$\neq$}1
-    {&&}{$\land$}1
-    {||}{$\lor$}1
-    {<=}{$\le$}1
-    {>=}{$\ge$}1
-    % the following isn't actually Dafny, but it gives the option to produce nicer latex
-    {|=>}{$\Rightarrow$}2
-    {<=set}{$\subseteq$}1
-    {+set}{$\cup$}1
-    {*set}{$\cap$}1
-    {==>}{$\Longrightarrow$}3 
-    {=>}{$\Rightarrow$}2
-    {<==>}{$\Longleftrightarrow$}4 
-    {forall}{$\forall$}1
-    {exists}{$\exists$}1
-    {!in}{$\not\in$}1
-    {\\in}{$\in$}1
-    % the following isn't actually Dafny, but it gives the option to produce nicer latex
-    {<<}{$\langle$}1
-    {>>}{$\rangle$}1
-    {(==)}{${}^{(=)}$}2
-    {...}{$\ldots$}1
-    {\\alpha}{$\alpha$}1
-    {\\beta}{$\beta$}1
-    {\\gamma}{$\gamma$}1
-    {\\delta}{$\delta$}1
-    {\\epsilon}{$\epsilon$}1
-    {\\zeta}{$\zeta$}1
-    {\\eta}{$\eta$}1
-    {\\theta}{$\theta$}1
-    {\\iota}{$\iota$}1
-    {\\kappa}{$\kappa$}1
-    {\\lambda}{$\lambda$}1
-    {\\mu}{$\mu$}1
-    {\\nu}{$\nu$}1
-    {\\xi}{$\xi$}1
-    {\\pi}{$\pi$}1
-    {\\rho}{$\rho$}1
-    {\\sigma}{$\sigma$}1
-    {\\tau}{$\tau$}1
-    {\\upsilon}{$\upsilon$}1
-    {\\phi}{$\phi$}1
-    {\\chi}{$\chi$}1
-    {\\psi}{$\psi$}1
-    {\\omega}{$\omega$}1
-    {\\Gamma}{$\Gamma$}1
-    {\\Delta}{$\Delta$}1
-    {\\Theta}{$\Theta$}1
-    {\\Lambda}{$\Lambda$}1
-    {\\Xi}{$\Xi$}1
-    {\\Pi}{$\Pi$}1
-    {\\Sigma}{$\Sigma$}1
-    {\\Upsilon}{$\Upsilon$}1
-    {\\Phi}{$\Phi$}1
-    {\\Psi}{$\Psi$}1
-    {\\Omega}{$\Omega$}1
-    ,
-  sensitive=true,  % case sensitive
-  morecomment=[l]{//},
-  morecomment=[s]{/*}{*/},
-  morestring=[b]",
-  numbers=none,
-  firstnumber=0,
-  numberstyle=\tiny,
-  stepnumber=5,
-  basicstyle=\scriptsize\sffamily,
-  commentstyle=\itshape,
-  keywordstyle=\bfseries,
-  ndkeywordstyle=\bfseries,
-}
-\lstnewenvironment{dafny}[1][]{%
-  \lstset{language=dafny,
-    floatplacement={tbp},captionpos=b,
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}
-\lstnewenvironment{dafnyNoLines}[1][]{%
-  \lstset{language=dafny,
-    floatplacement={tbp},captionpos=b,
-    xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}
-\def\inlinedafny{%
-    \lstinline[language=dafny,basicstyle=\ttfamily,columns=fixed]}
-\newcommand{\lstfile}[1]{
-  \lstinputlisting[language=dafny,%
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,columns=fixed]{#1}
-}
-- 
cgit v1.2.3