[Agda/f16] (2 commits) ...note emacs-agda interactive environment in description
Jens Petersen
petersen at fedoraproject.org
Sun Jul 15 07:36:39 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