From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 13 Aug 2015 07:42:24 +0000 (+0200)
Subject: More ASCII encoding fixes
X-Git-Tag: yosys-0.6~199
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c699d7c6145f978b1864c2be25d9f0607099a3e5;p=yosys.git

More ASCII encoding fixes
---

diff --git a/CHANGELOG b/CHANGELOG
index 3efbe1093..4ec3499d7 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -83,7 +83,7 @@ Yosys 0.3.0 .. Yosys 0.4
      - There is now a "synth" command with a recommended default script
      - Many improvements in synthesis of arithmetic functions to gates
 	 - Multiplieres and adders with many operands are using carry-save adder trees
-         - Remaining adders are now implemented using Brent–Kung carry look-ahead adders
+         - Remaining adders are now implemented using Brent-Kung carry look-ahead adders
      - Various new high-level optimizations on RTL netlist
      - Various improvements in FSM optimization
      - Updated ABC to hg 5b5af75f1dda (from 2014-11-07)
diff --git a/manual/APPNOTE_011_Design_Investigation.tex b/manual/APPNOTE_011_Design_Investigation.tex
index b9a8237f4..02fb99d36 100644
--- a/manual/APPNOTE_011_Design_Investigation.tex
+++ b/manual/APPNOTE_011_Design_Investigation.tex
@@ -1061,7 +1061,7 @@ MiniSat: a minimalistic open-source SAT solver.
 \url{http://minisat.se/}
 
 \bibitem{tip}
-Niklas Een and Niklas Sörensson (2003).
+Niklas Een and Niklas S\"orensson (2003).
 Temporal Induction by Incremental SAT Solving.
 \url{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8161}