projects
/
coq-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a857bd0
)
add begin/end{preview} to tex output
author
Adam Megacz
<megacz@cs.berkeley.edu>
Sun, 15 May 2011 21:31:23 +0000
(14:31 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Sun, 15 May 2011 21:31:23 +0000
(14:31 -0700)
examples/GArrowTikZ.hs
patch
|
blob
|
history
diff --git
a/examples/GArrowTikZ.hs
b/examples/GArrowTikZ.hs
index
54c31ee
..
6ebaded
100644
(file)
--- a/
examples/GArrowTikZ.hs
+++ b/
examples/GArrowTikZ.hs
@@
-341,9
+341,11
@@
tikz example
putStrLn "\\usepackage[tightpage,active]{preview}"
putStrLn "\\begin{document}"
putStrLn "\\setlength\\PreviewBorder{5pt}"
+ putStrLn "\\begin{preview}"
putStrLn $ "\\begin{tikzpicture}[every on chain/.style={join=by ->},yscale=-1]"
putStrLn (toTikZ example)
putStrLn "\\end{tikzpicture}"
+ putStrLn "\\end{preview}"
--putStrLn "\\pagebreak"
--putStrLn "\\begin{align*}"
--putStr (toTikZ' example)