Historial de Commits

Autor SHA1 Mensaje Fecha
  Kyle Meyer 6bc48c5f41 Update copyright years hace 10 años
  Kyle Meyer 8d2c6af7ed Update remaining copyright years in lisp/ hace 10 años
  Aaron Ecay 076e0ea518 Fix error messages. hace 11 años
  Bastien Guerry c9e6a07cdf ob-coq.el: Declare external functions hace 11 años
  Eric Schulte 61dbb84081 initial support for Coq code blocks hace 11 años