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