Initial commit

.gitignore

@@ -0,0 +1,5 @@
+*.aux
+*.fdb_latexmk
+*.fls
+*.log
+*.pdf

dm.tex

@@ -0,0 +1,46 @@
+\documentclass[11pt]{article}
+\usepackage{fullpage}
+
+%% Corrige quelques erreurs de LaTeX2ε
+\usepackage{fixltx2e}
+\usepackage{xspace}
+\usepackage{microtype}
+
+%% Pour ne pas commettre les erreurs fréquentes décrites dans l2tabu
+\usepackage[l2tabu,abort]{nag}
+
+%% Saisie en UTF-8
+\usepackage[utf8]{inputenc}
+%% Fonte : cf. http://www.tug.dk/FontCatalogue/
+\usepackage[T1]{fontenc}
+\usepackage{lmodern}
+
+%% Pour écrire du français
+\usepackage[frenchb]{babel}
+
+%% Pour composer des mathématiques
+\usepackage{mathtools}
+
+\usepackage{amsfonts}
+\usepackage{amssymb}
+\usepackage{amsthm}
+
+\usepackage{stmaryrd}
+\usepackage{semantic}
+
+%% Commandes du paquet semantic : langage While
+\reservestyle{\command}{\textbf}
+\command{skip,while,do,if,then,else,not,and,or,true,false}
+%% -> Utiliser \<begin> Pour styliser le mot-clé
+
+\newcommand{\reduce}{\rightarrow^{*}}
+
+\begin{document}
+
+\author{Timothée Haudebourg \and Thibaut Marty}
+\title{PAS}
+
+\maketitle
+
+
+\end{document}

latexmkrc

@@ -0,0 +1,2 @@
+$pdf_mode = 1;
+$pdflatex = "pdflatex --shell-escape --halt-on-error";