-
Hugo Herbelin authored
of a notation are now taken into account (fixing Coq issue #6082). Here, the format associated to the notation ";;" in theories/heap_lang/notation.v is now taken into account.
33272af5
of a notation are now taken into account (fixing Coq issue #6082). Here, the format associated to the notation ";;" in theories/heap_lang/notation.v is now taken into account.