Changeset 1781 for Deliverables


Ignore:
Timestamp:
Feb 27, 2012, 5:55:15 PM (8 years ago)
Author:
mulligan
Message:

Reinstated the lstlisting style

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1780 r1781  
    11\documentclass[11pt,a4paper]{article}
    2 \usepackage{../../style/cerco}
    32\usepackage{a4wide}
    43\usepackage{amsfonts}
    54\usepackage{amsmath}
    65\usepackage{amssymb}
     6\usepackage{array}
    77\usepackage[english]{babel}
     8\usepackage{../../style/cerco}
    89\usepackage{color}
    910\usepackage{diagrams}
    1011\usepackage{graphicx}
     12\usepackage[utf8x]{inputenc}
    1113\usepackage{listings}
    1214\usepackage{microtype}
    1315\usepackage{skull}
    1416\usepackage{stmaryrd}
    15 \usepackage{array}
     17\usepackage{wasysym}
     18
    1619\newcolumntype{b}{@{}>{{}}}
    1720\newcolumntype{B}{@{}>{{}}c<{{}}@{}}
     
    2225\newcolumntype{S}{>{$(}r<{)$}}
    2326\newcolumntype{n}{@{}}
    24 \usepackage{wasysym}
     27
     28\lstdefinelanguage{matita-ocaml}
     29  {keywords={definition,coercion,lemma,theorem,remark,inductive,record,qed,let,in,rec,match,return,with,Type,try,on,to},
     30   morekeywords={[2]whd,normalize,elim,cases,destruct},
     31   morekeywords={[3]type,of,val,assert,let,function},
     32   mathescape=true,
     33  }
     34\lstset{language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false,
     35        keywordstyle=\bfseries, %\color{red}\bfseries,
     36        keywordstyle=[2]\bfseries, %\color{blue},
     37        keywordstyle=[3]\bfseries, %\color{blue}\bfseries,
     38%        commentstyle=\color{green},
     39%        stringstyle=\color{blue},
     40        showspaces=false,showstringspaces=false}
     41\DeclareUnicodeCharacter{8797}{:=}
     42\DeclareUnicodeCharacter{10746}{++}
     43\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
     44\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
     45
     46\lstset{
     47  extendedchars=false,
     48  inputencoding=utf8x,
     49  tabsize=1
     50}
    2551
    2652\hypersetup{bookmarksopenlevel=2}
Note: See TracChangeset for help on using the changeset viewer.