coq/doc/changelog/04-tactics/13696-deprecate_at_in_conversion.rst, branch master The formal proof system Deprecate "at ... with ..." in change tactic 2021-01-03T06:34:15+00:00 Jim Fehrle 2020-12-30T20:39:53+00:00 46c28054eb404175e5ba9485c3b5efbfe1b81619 (use "with ... at ..." instead) 
(use "with ... at ..." instead)