From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 8 Dec 2008 09:34:40 +0000 (+0000)
Subject: better replacement for \\def
X-Git-Tag: make_still_working~4436
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a1843fa495c952f91e330b7572e6ea214fff5d5c;p=helm.git

better replacement for \\def
---

diff --git a/helm/software/matita/help/C/scripts/fix-symbols.sh b/helm/software/matita/help/C/scripts/fix-symbols.sh
index ed45fce9a..eb491489a 100755
--- a/helm/software/matita/help/C/scripts/fix-symbols.sh
+++ b/helm/software/matita/help/C/scripts/fix-symbols.sh
@@ -1,4 +1,4 @@
 #!/bin/sh
 
-sed -i 's/\\&\\#x225d;/:=/g' $1
+sed -i 's/\\&\\#x225d;/\\ensuremath{\\stackrel{def}{=}}/g' $1
 sed -i 's/\\&\\#x3a9;/\\ensuremath{\\Omega}/g' $1