kibit-mode recipe (squashed)
Merge pull request #1015 from danielsz/kibit-mode

kibit-mode recipe (squashed)

closes #1011 and #1015
Merge pull request #1012 from tkf/recipe-checker

Add recipe checker command and script
Fix ProofGeneral compile error on OSX
Merge pull request #1020 from ihji/master

fix compile error in ProofGeneral on OSX
Add spotlight-comment recipe.

Signed-off-by: Sébastien Gross <seb•ɑƬ•chezwam•ɖɵʈ•org>
Add mdfind-dired recipe.

Signed-off-by: Sébastien Gross <seb•ɑƬ•chezwam•ɖɵʈ•org>
Fix doc-mode autoload

Signed-off-by: Julien Danjou <julien@danjou.info>
Add dired-xattr recipe.

Signed-off-by: Sébastien Gross <seb•ɑƬ•chezwam•ɖɵʈ•org>
Merge pull request #1021 from renard/mdfind-dired

Add mdfind-dired recipe.
Merge pull request #1022 from renard/spotlight-comment

Add spotlight-comment recipe.
Merge pull request #1024 from renard/dired-xattr

Add dired-xattr recipe.
#838: Update rnc-mode to debian archived tarball
Merge pull request #1025 from shellbj/rnc-mode

#838: Update rnc-mode to debian archived tarball
Add recipe for smartparens
Use original repository for smartchr recipe

It seems this recipe uses emacsmirror from the very beginning.
We should use the original repository if it is maintained.
See: 6f8126acb3257da303debf27e978c9823234e76e