]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/utf8MacroTable.js
commit is now complete :)
[helm.git] / matitaB / matita / utf8MacroTable.js
2012-03-12 matitawebMatitaweb:
2011-07-14 Wilmer RicciottiMatitaweb: changes to utf8MacroTable.js
2011-07-14 Wilmer RicciottiMatitaweb: changes to utf8MacroTable.js.
2011-07-14 Wilmer RicciottiMatitaweb: TeX-like macro handling.
2011-07-14 Wilmer RicciottiChanges to utf8MacroTable.js.
2011-07-14 Wilmer RicciottiAdded Utf8MacroTable for MatitaWeb.