path: root/manual/PRESENTATION_Intro.tex
diff options
authorClifford Wolf <>2014-02-20 12:46:29 +0100
committerClifford Wolf <>2014-02-20 12:46:29 +0100
commit98940260e1a0e5d9d5d305b5fabe0aed89c9f57c (patch)
treeabf03d1daf8ec86ef5e781e7e836b7233fb72d03 /manual/PRESENTATION_Intro.tex
parent772330608acd9726e406d182a339a314d2f046a2 (diff)
Progress in presentation
Diffstat (limited to 'manual/PRESENTATION_Intro.tex')
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/PRESENTATION_Intro.tex b/manual/PRESENTATION_Intro.tex
index 1c07928b..543fb41e 100644
--- a/manual/PRESENTATION_Intro.tex
+++ b/manual/PRESENTATION_Intro.tex
@@ -680,7 +680,7 @@ basic functionality. Extensibility was one of Yosys' design goals.
Because of the framework characterisitcs of Yosys, an increasing number of features
become available in one tool. Yosys not only can be used for circuit synthesis but
also for formal equivialence checking, SAT solving, and for circuit analysis, to
-name just a few other application domains. With propritaery software one needs to
+name just a few other application domains. With proprietary software one needs to
learn a new tool for each of this applications.