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