More ASCII encoding fixes

diff --git a/CHANGELOG b/CHANGELOG
index 3efbe1093220f6e8f934ef3efc4c180f11a8ff42..4ec3499d7c7769f111c8c8361624072c32a26085 100644 (file)
--- 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 b9a8237f495111ba134f99cef0a2a53ef59827f3..02fb99d3644f178060d04d33ee226a3e71ec90bd 100644 (file)
--- 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}