aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldoc/header.tex
blob: 4091f8144fc98908a6e07842f94dd9d7dc6ea02c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
\documentclass[11pt]{article} 
\usepackage[utf8x]{inputenc} 
\usepackage[T1]{fontenc} 
\usepackage{textcomp}
\usepackage{tipa}
\usepackage{textgreek}
\usepackage{fullpage} 
\usepackage{url} 
\usepackage{ocamldoc}
\title{Coq mlis documentation}
\begin{document}
\maketitle
\tableofcontents
\vspace{0.2cm}