Feature #541 - Updating credits.html.

15 years ago · 87674ad5a5
parent c375f38df0
commit 87674ad5a5
1 changed files with 1 additions and 0 deletions
--- a/documentation/credits.html
+++ b/documentation/credits.html
@ -438,6 +438,7 @@ rewritten by
  <li>Second integration: FCKEditor</li>
  <li>Update to FCKEditor 2.6.2: Julio Montoya Armas(gugli100@gmail.com)</li>
  <li>Update to FCKEditor 2.6.6 and addition of other plugins: Ivan Tcholakov</li>
+  <li>ASCIIMathML-based formula rendering: Furio Petrossi for advocacy, reserch and recommendations</li>
 </ul>

 <h1>Translations</h1>