From 53ed9d87d750dfd89d41cc6ae3cd5f1dc8b34dc9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 11 Jun 2019 23:42:33 +0200
Subject: [PATCH] add sed script for frac_auth changes

---
 CHANGELOG.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0dbe9daef..507e97d64 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -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)
 
-- 
GitLab