Merge branch 'ralf/ipm-bootstrap' into 'gen_proofmode'

proofmode: make it possible for class_instances to use the proofmode

See merge request FP/iris-coq!142

_CoqProject

@@ -95,6 +95,7 @@ theories/heap_lang/lib/increment.v
 theories/proofmode/base.v
 theories/proofmode/tokens.v
 theories/proofmode/coq_tactics.v
+theories/proofmode/ltac_tactics.v
 theories/proofmode/environments.v
 theories/proofmode/intro_patterns.v
 theories/proofmode/spec_patterns.v