initial support for Coq code blocks
commit61dbb840810ed8452ae02fa9e10896936a75d9d4
authorEric Schulte <schulte.eric@gmail.com>
Thu, 6 Feb 2014 02:16:21 +0000 (5 19:16 -0700)
committerEric Schulte <schulte.eric@gmail.com>
Thu, 6 Feb 2014 21:30:30 +0000 (6 14:30 -0700)
tree12df319b17f65b9adbf29c550b1cfa968f220e6f
parentb8665a01902a8b031e73697599f1a8c88edc44f5
initial support for Coq code blocks
lisp/ob-coq.el [new file with mode: 0644]