Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.

2 files changed, 0 insertions, 173 deletions

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}

-}