# HG changeset patch
# User kleing
# Date 1364302464 -3600
# Node ID cdffeaf1402ec98feaa4ba7bf963c958c8cc3441
# Parent  f415febf42347e9c4b4e7c087be2bd89635356bb
no \FIXME macro for ProgProve (moved to book)

diff -r f415febf4234 -r cdffeaf1402e src/Doc/ProgProve/document/prelude.tex
--- a/src/Doc/ProgProve/document/prelude.tex	Tue Mar 26 12:21:01 2013 +0100
+++ b/src/Doc/ProgProve/document/prelude.tex	Tue Mar 26 13:54:24 2013 +0100
@@ -13,15 +13,6 @@
 \usepackage{mathpartir}
 \usepackage{amssymb}
 
-% Enables fixmes
-\newif \ifDraft         \Drafttrue
-
-\ifDraft
-  \newcommand{\FIXME}[1]{\textbf{\textsl{FIXME: #1}}}
-\else
-  \newcommand{\FIXME}[1]{\relax}
-\fi
-
 \renewcommand*\descriptionlabel[1]{\hspace\labelsep \textbf{#1}\hfil}
 
 % this should be the last package used