]> matita.cs.unibo.it Git - helm.git/commit
add \\ in front of tex macros
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jun 2008 15:06:12 +0000 (15:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jun 2008 15:06:12 +0000 (15:06 +0000)
commit6d4c63a0ff7d44e4e361fc4aeca8028a77d39568
tree05a4a48926e110a2983b279dd3dd4b0001d53e0c
parent68f3812e06c04ddd664e86dbfd3a1c32f96a22d1
add \\ in front of tex macros
helm/software/components/syntax_extensions/utf8Macro.ml