projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9082c6) | patch
make latex output use the preview package to set the page size
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:42:04 +0000 (05:42 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:47:25 +0000 (05:47 -0800)
commita764632d29c79933e8c54633831e4aac0fb204f6
treee800e76103064ef530866f3efd947f77547b86fetree | snapshot
parentc9082c6556689b31f4ae649c3280f09fb71546ffcommit | diff
make latex output use the preview package to set the page size
src/Extraction.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC