Changeset 1781 for Deliverables/D1.2/CompilerProofOutline

Timestamp:

Feb 27, 2012, 5:55:15 PM (9 years ago)

Author:

mulligan

Message:

Reinstated the lstlisting style

File:

• Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) (2 diffs)

Deliverables/D1.2/CompilerProofOutline/outline.tex

@@ -1 +1 @@
 \documentclass[11pt,a4paper]{article}
-\usepackage{../../style/cerco}
 \usepackage{a4wide}
 \usepackage{amsfonts}
 \usepackage{amsmath}
 \usepackage{amssymb}
+\usepackage{array}
 \usepackage[english]{babel}
+\usepackage{../../style/cerco}
 \usepackage{color}
 \usepackage{diagrams}
 \usepackage{graphicx}
+\usepackage[utf8x]{inputenc}
 \usepackage{listings}
 \usepackage{microtype}
 \usepackage{skull}
 \usepackage{stmaryrd}
-\usepackage{array}
+\usepackage{wasysym}
+
 \newcolumntype{b}{@{}>{{}}}
 \newcolumntype{B}{@{}>{{}}c<{{}}@{}}
@@ -22 +25 @@
 \newcolumntype{S}{>{$(}r<{)$}}
 \newcolumntype{n}{@{}}
-\usepackage{wasysym}
+
+\lstdefinelanguage{matita-ocaml}
+  {keywords={definition,coercion,lemma,theorem,remark,inductive,record,qed,let,in,rec,match,return,with,Type,try,on,to},
+   morekeywords={[2]whd,normalize,elim,cases,destruct},
+   morekeywords={[3]type,of,val,assert,let,function},
+   mathescape=true,
+  }
+\lstset{language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false,
+        keywordstyle=\bfseries, %\color{red}\bfseries,
+        keywordstyle=[2]\bfseries, %\color{blue},
+        keywordstyle=[3]\bfseries, %\color{blue}\bfseries,
+%        commentstyle=\color{green},
+%        stringstyle=\color{blue},
+        showspaces=false,showstringspaces=false}
+\DeclareUnicodeCharacter{8797}{:=}
+\DeclareUnicodeCharacter{10746}{++}
+\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
+\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
+
+\lstset{
+  extendedchars=false,
+  inputencoding=utf8x,
+  tabsize=1
+}
 
 \hypersetup{bookmarksopenlevel=2}