Commit 7a983818 authored by Ralf Jung's avatar Ralf Jung

fix sed for macOS

parent d9dab855
...@@ -146,8 +146,9 @@ Changes in Coq: ...@@ -146,8 +146,9 @@ Changes in Coq:
* Changed `frac_auth` notation from `●!`/`◯!` to `●F`/`◯F`. sed script: * Changed `frac_auth` notation from `●!`/`◯!` to `●F`/`◯F`. sed script:
`s/◯!/◯F/g; s/●!/●F/g;`. `s/◯!/◯F/g; s/●!/●F/g;`.
* Rename `C` suffixes into `O` since we no longer use COFEs but OFEs. Also * Rename `C` suffixes into `O` since we no longer use COFEs but OFEs. Also
rename `ofe_fun` into `discrete_fun` and the corresponding notation `-c>` rename `ofe_fun` into `discrete_fun` and the corresponding notation `-c>` into
into `-d>`. The renaming can be automatically done using the following script: `-d>`. The renaming can be automatically done using the following script (on
macOS you will have to replace the `-i` at the end by `-i ''`):
``` ```
sed ' sed '
s/\bCofeMor/OfeMor/g; s/\bCofeMor/OfeMor/g;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment