agda/agda — pull request #5 by Danten (2014-06-24 09:04:36+00:00)
Title: Module contents command now simplifies the output types

Small change so that the emacs command "Module contents" now simplifies the types it displays. The C-u prefixes seems to work similarly to goal and context command. I'm not an ELisp hacker.