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

Аутор SHA1 Порука Датум
  Bastien Guerry c9e6a07cdf ob-coq.el: Declare external functions пре 11 година
  Eric Schulte 61dbb84081 initial support for Coq code blocks пре 11 година