Closed UlfNorell closed 10 years ago
From nils.anders.danielsson on October 30, 2013 11:16:56
C-c C-h should be documented in the release notes.
Original issue: http://code.google.com/p/agda/issues/detail?id=929
From ulf.nor...@gmail.com on November 01, 2013 02:53:33
Status: Fixed
From nils.anders.danielsson on October 30, 2013 11:16:56
C-c C-h should be documented in the release notes.
Original issue: http://code.google.com/p/agda/issues/detail?id=929