{"shas":[["d1659446de69f70322575efa7ef432047b8c0f25","6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","Fix for tactics to work with new engine. Allow qualified identifiers and shortcut notations in patterns","Matthieu Sozeau"]],"ref":"refs/heads/coq-trunk","size":1,"head":"d1659446de69f70322575efa7ef432047b8c0f25","push_id":35443785}