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