coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Automated creation of a sed script for replacing deprecated names

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Automated creation of a sed script for replacing deprecated names
Date: Sat, 6 Apr 2019 15:47:31 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga18.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.0.400.15
Ironport-phdr: 9a23:Kqbq4hUg4afhhBi6w0Af8G4JC37V8LGtZVwlr6E/grcLSJyIuqrYbRWOt8tkgFKBZ4jH8fUM07OQ7/m5HzRRqsbR+DBaKdoQDkdD0Z1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrssxhfTvndFf+tayGBrKFmOmxrw+tq88IRs/ihNp/4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfDVwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0kicHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8BcXDFDDIyhdYsCF+oPM/hFoYnhqVUArhW+CgutBOzzxTBFnWX50bE+3uk7DQ3KwA4tEtQTu3rUttX1M6ISXPi7wKfVyjXMcfxW2Svn6IjPahAtueyHU7VxccXNyUkgDR3KjlGepYf4OD6V0+UNvHSb7+V6S+2vj3Qrqxp2ojexyccslpPJhoUNyl3f9CV5xpo1KsO8SEJhfdGkF55QujicOoBrTM0iRGRotzw7yr0AoZO7cykKyIgnxx7CcPOLaZSH4hXmVOqJIDd4gm5ld6y7hxqo7Eev1OvxXdS33lZStidJj9fBu38X2xDO5MWKReFx8lqv1DuOzQzf9/9ILEEsmabGKpMszKQ8m5QdvEjZACP7lkH7gLWLekgn5OSk8/nrb7Tiq5OGKYN5ig7zPr4wlsClH+g0Lw4DVHWB9+umzr3s50j5Ta1KjvIolqnZt4jXJcEUpqGjHgNY0Zwv6xe5Dze6ztsYmWMLI05CeBKCl4TpOlfOL+7kDfqnnlihnjhmy+rbMrDvDZjBNGXPnbngcLpn9kJQ1gs+wcha551OC7EBJPzzWlX2tNzdFhI5Ng20zPrnCNpnyIweXXiDArSeMKzMvl+I+vgvI+6UZIIOuTb9LeQl6ODqjXMjhVAdeqyp0YMNaH+kBvRmP1mZYX30j9gdFmcKpxMyQ/DuiF2fSjFefG2yXqI55jEjEo2qF4bDRoa3gLyAxii3BJNWZnoVQmyLRD3jcJzBUPMRYgqTJNVgm3oKT/LpH4QmzFSlsBLw47thNOvdvCMC48HNzt9wsqfokhw96SZzF4DV9mCGT2h5milAEzo316B2rEg70VCO3rRihORwFNpP6vcPWQA/Y82Ph9dmAsz/D1qSNuyCT0yrF43/UGMBC+kpytpLWH5TXtCrjxTNxS2vWuZHlrqXCZhy+aXZjSGoe5RNjk3e3axktGEIB9NVPDT/1K956wXXQYXOlhfBzvv4ReEnxCfIsVy74y+OsUVfCVEiVKrMBCBZZ03KoNC/7UTHHeej

As described in changes (https://github.com/coq/coq/blob/master/doc/sphinx/changes.rst, https://github.com/coq/coq/blob/master/CHANGES.md), there is such a script at https://gist.github.com/JasonGross/9770653967de3679d131c59d42de6d17#file-replace-notations-py

Perfect, thanks for the pointer!

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Gary Kershaw
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael, 04/06/2019
- Re: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Jason Gross, 04/06/2019
  - RE: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael, 04/06/2019