X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FExtraction.v;h=d83a937ac8e05750da60102ca753bfff38d9b887;hb=54e3d85658516dcf7d8504e94f973a87e255f8f3;hp=dfca44c27bbf5b23e9971b09267f23ef3b8852a1;hpb=f6732490f83e19174b8a8a6b487da95913d9f02d;p=coq-hetmet.git

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.