Commit történet

Szerző SHA1 Üzenet Dátum
  Aaron Ecay 076e0ea518 Fix error messages. 10 éve
  Bastien Guerry c9e6a07cdf ob-coq.el: Declare external functions 11 éve
  Eric Schulte 61dbb84081 initial support for Coq code blocks 11 éve