Commit d4559eaf authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

trywhy3: fixed a few typos in About dialog

parent 2ac91ce7
......@@ -162,7 +162,7 @@
<p>TryWhy3 is a Javascript based version of
the <a href="" target="_blank">Why3
Verification Platform</a></p>
<p>© 2010-2016, INRIA - CNRS - Paris-Sud University<br/>
<p>© 2010-2016, Inria - CNRS - Paris-Sud University<br/>
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in the
......@@ -170,20 +170,20 @@
<p>TryWhy3 relies on the following excellent open source
softwares and resources:
software and resources:
<li>A Javascript version of
the <a href="" target="_blank">Alt-Ergo SMT
<li>The <a href="" target="_blank">js_of_ocaml</a>
Ocaml to Javascript compiler, part of
OCaml to Javascript compiler, part of
the <a href="" target="_blank">Ocsigen</a>
<li>The <a href=""
Awsome</a> font and CSS toolkit.</li>
Awesome</a> font and CSS toolkit.</li>
<li>The <a href="" target="_blank">ACE</a> Web editor.</li>
Markdown is supported
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