From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 11:07:12 +0000 (-0700)
Subject: include URL for trfrac.sty and mathpartir in LaTeX output
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=54e3d85658516dcf7d8504e94f973a87e255f8f3

include URL for trfrac.sty and mathpartir in LaTeX output
---

diff --git a/src/Extraction.v b/src/Extraction.v
index dfca44c..d83a937 100644
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -91,10 +91,10 @@ Section core2proof.
     "\usepackage{amsmath}"+++eol+++
     "\usepackage{amssymb}"+++eol+++
     "\usepackage{proof}"+++eol+++
-    "\usepackage{mathpartir}"+++eol+++
-    "\usepackage{trfrac}"+++eol+++
+    "\usepackage{mathpartir}   % http://cristal.inria.fr/~remy/latex/"+++eol+++
+    "\usepackage{trfrac}       % http://www.utdallas.edu/~hamlen/trfrac.sty"+++eol+++
     "\def\code#1#2{\Box_{#1} #2}"+++eol+++
-    "\usepackage[paperwidth=20in,centering]{geometry}"+++eol+++
+    "\usepackage[paperwidth=200in,centering]{geometry}"+++eol+++
     "\usepackage[displaymath,tightpage,active]{preview}"+++eol+++
     "\begin{document}"+++eol+++
     "\begin{preview}"+++eol.