Merge branch 'robbert/pretty_hint_mode' into 'master'

Set `Hint Mode` for `pretty`.

See merge request !201

CHANGELOG.md

@@ -228,6 +228,7 @@ Changes:
 - Use `disj_union` (notation `⊎`) for disjoint union on multisets (that adds the
   multiplicities). Repurpose `∪` on multisets for the actual union (that takes
   the max of the multiplicities).
+- Set `Hint Mode` for `pretty`.
 
 Naming:
 

theories/pretty.v

@@ -4,6 +4,7 @@ From Coq Require Import Ascii.
 From stdpp Require Import options.
 
 Class Pretty A := pretty : A → string.
+Hint Mode Pretty ! : typeclass_instances.
 
 Definition pretty_N_char (x : N) : ascii :=
   match x with