 Alan Schmitt
|
90ec88d71c
ox-coq.el: Clean up
|
9 years ago |
 Kyle Meyer
|
6345de2d05
Merge branch 'maint'
|
10 years ago |
|
Kyle Meyer
|
6bc48c5f41
Update copyright years
|
10 years ago |
 Nicolas Goaziou
|
f0bf77e82a
Activate lexical binding in some libraries
|
10 years ago |
|
Kyle Meyer
|
8d2c6af7ed
Update remaining copyright years in lisp/
|
10 years ago |
 Aaron Ecay
|
076e0ea518
Fix error messages.
|
10 years ago |
 Bastien Guerry
|
c9e6a07cdf
ob-coq.el: Declare external functions
|
11 years ago |
 Eric Schulte
|
61dbb84081
initial support for Coq code blocks
|
11 years ago |
