Commit History

Autor SHA1 Mensaxe Data
  Nicolas Goaziou f0bf77e82a Activate lexical binding in some libraries %!s(int64=9) %!d(string=hai) anos
  Kyle Meyer 8d2c6af7ed Update remaining copyright years in lisp/ %!s(int64=9) %!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