Expose show functions for Char,Float,String,Name,Literal
[ release notes ] Added documentation related to Agda issue 1269
[ release notes ] Added more documentation related to issue 1269
[ Release notes ] Added documentation for quoting levels
Fixed typo
Revert "Fixed typo"

This reverts commit 400db78cf8e953d411c714fbc224b21b864a07f2.
Revert "[ Release notes ] Added documentation for quoting levels"

This reverts commit ef226aa5374142c8e148245c76bd10d602b20f3b.

Quoting level isn't a new feature (see https://github.com/agda/agda/pull/17#issuecomment-58777304).
[ release notes ] Documented Agda issue 1207
Update the Reflection module to follow the change in Agda
Merge branch 'show-prims'
Update the "show primitive" commit
[ .gitignore ] Added *.hi and *.o files
Revert "Update the Reflection module to follow the change in Agda"

This reverts commit ed8fcbf5d691f33ab34019a0dc7fda999b3bbfd4.
Revert "Revert "Update the Reflection module to follow the change in Agda""

This reverts commit 462d530234e7139eea39ec5a93e00aeb6d479ecb.
[ releases ] Preparation for adding release information for the master branch
Merge branch '2.4.2.1'
[ release notes ] Documented changes in Reflection.agda

The changes are related to https://github.com/agda/agda-stdlib/commit/ed8fcbf5d691f33ab34019a0dc7fda999b3bbfd4.
[ release notes ] Fixed typo
[ releases ] Added documentation for using the future-version file.
Merge branch '2.4.2.1'