Историја ревизија

Аутор SHA1 Порука Датум
  Kyle Meyer 8d2c6af7ed Update remaining copyright years in lisp/ пре 10 година
  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 година