projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab2e068) | patch
include URL for trfrac.sty and mathpartir in LaTeX output
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 11:07:12 +0000 (04:07 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 11:07:12 +0000 (04:07 -0700)
commit54e3d85658516dcf7d8504e94f973a87e255f8f3
treea0ee1c1f9d765ffddb32e70b9aa9460a9a1bec5ftree | snapshot
parentab2e0681a81695cc2380b007f2a3314005ec1c99commit | diff
include URL for trfrac.sty and mathpartir in LaTeX output
src/Extraction.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC