Commit History

Автор SHA1 Съобщение Дата
  Alan Schmitt 90ec88d71c ox-coq.el: Clean up преди 9 години
  Kyle Meyer 6345de2d05 Merge branch 'maint' преди 9 години
  Kyle Meyer 6bc48c5f41 Update copyright years преди 9 години
  Nicolas Goaziou f0bf77e82a Activate lexical binding in some libraries преди 9 години
  Kyle Meyer 8d2c6af7ed Update remaining copyright years in lisp/ преди 9 години
  Aaron Ecay 076e0ea518 Fix error messages. преди 10 години
  Bastien Guerry c9e6a07cdf ob-coq.el: Declare external functions преди 11 години
  Eric Schulte 61dbb84081 initial support for Coq code blocks преди 11 години