Commit 53ed9d87 authored by Ralf Jung's avatar Ralf Jung
Browse files

add sed script for frac_auth changes

parent a51fa3cf
......@@ -143,7 +143,8 @@ Changes in Coq:
* Add the camera `ufrac` for unbounded fractions (i.e. without fractions that
can be `> 1`) and the camera `ufrac_auth` for a variant of the authoritative
fractional camera (`frac_auth`) with unbounded fractions.
* Changed `frac_auth` notation from `●!`/`◯!` to `●F`/`◯F`.
* Changed `frac_auth` notation from `●!`/`◯!` to `●F`/`◯F`. sed script:
`s/◯!/◯F/g; s/●!/●F/g;`.
## Iris 3.1.0 (released 2017-12-19)
Supports Markdown
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