3 Commits

Author	SHA1	Message	Date
Dennis Gilmore	5c578a52e9	- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild	2012-07-18 07:49:21 -05:00
Jens Petersen	7d0ed70eb3	note emacs-agda interactive environment in description	2012-07-15 16:30:33 +09:00
Jens Petersen	1567c74efa	import (#710383)	2012-07-15 16:28:54 +09:00