2 Commits

Author	SHA1	Message	Date
Bastien Guerry	c9e6a07cdf	ob-coq.el: Declare external functions	2014-03-05 15:38:48 +01:00
Eric Schulte	61dbb84081	initial support for Coq code blocks	2014-02-06 14:30:30 -07:00