From 54e3d85658516dcf7d8504e94f973a87e255f8f3 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 14 Mar 2011 04:07:12 -0700 Subject: [PATCH] include URL for trfrac.sty and mathpartir in LaTeX output --- src/Extraction.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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. -- 1.7.10.4