[Agda/f17] (2 commits) ...note emacs-agda interactive environment in description

Jens Petersen petersen at fedoraproject.org
Sun Jul 15 07:32:56 UTC 2012


Summary of changes:

  1567c74... import (#710383) (*)
  7d0ed70... note emacs-agda interactive environment in description (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list