Subversion Repositories wimsdev

Rev

Rev 5539 | Rev 5691 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5539 Rev 5690
Line 25... Line 25...
25 
    <body>
 25 
    <body>
26 
    <table summary=\"latex commands\" style=\"font-size:8px\"><tr>" > $htmlfile
 26 
    <table summary=\"latex commands\" style=\"font-size:8px\"><tr>" > $htmlfile
27 
firstletter="a"
 27 
firstletter="a"
28 
Tr=4;
 28 
Tr=4;
29 
# 5 collumns... !
 29 
# 5 collumns... !
30 
echo -n "               <td><b>Environments</b></td><td><b>\begin{env}&sdot;&sdot;&sdot;\end{env}</b></td>" >> $htmlfile
 30 
echo  "         <th>Environments</td><th>\begin{env}&sdot;&sdot;&sdot;\end{env}</th>" >> $htmlfile
31 
p=0
 31 
p=0
32 
e=$(($Tr - 2))
 32 
e=$(($Tr - 2))
33 
while [ $p -le $e ] ;do
 33 
while [ $p -le $e ] ;do
34 
    echo -n "<td>&nbsp;</td>" >> $htmlfile
 34 
    echo "<td>&nbsp;</td>" >> $htmlfile
35 
    p=$(($p+1))
 35 
    p=$(($p+1))
36 
done
 36 
done
37 
echo -n "</tr><tr>" >> $htmlfile
 37 
echo "</tr><tr>" >> $htmlfile
38 
 
 38 
 
39 
a=0
 39 
a=0
40 
for p in matrix pmatrix bmatrix  Bmatrix vmatrix Vmatrix smallmatrix cases dcases align* align aligned gathered split array alignat svg equation eqnarray ; do
 40 
for p in matrix pmatrix bmatrix  Bmatrix vmatrix Vmatrix smallmatrix cases dcases align* align aligned gathered split array alignat svg equation eqnarray ; do
41 
    echo -n "<td>$p</td>" >> $htmlfile
 41 
    echo "<td>$p</td>" >> $htmlfile
42 
    a=$(($a+1))
 42 
    a=$(($a+1))
43 
    if [ $a -gt $Tr ] ; then
 43 
    if [ $a -gt $Tr ] ; then
44 
        echo -n "</tr><tr>" >> $htmlfile
 44 
        echo "</tr><tr>" >> $htmlfile
45 
        a=0
 45 
        a=0
46 
    fi
 46 
    fi
47 
done
 47 
done
48 
p=0
 48 
p=0
49 
e=$(($Tr - $a))
 49 
e=$(($Tr - $a))
50 
while [ $p -le $e ] ;do
 50 
while [ $p -le $e ] ;do
51 
    echo -n "<td>&nbsp;</td>" >> $htmlfile
 51 
    echo "<td>&nbsp;</td>" >> $htmlfile
52 
    p=$(($p+1))
 52 
    p=$(($p+1))
53 
done
 53 
done
54 
echo -n "</tr><tr>" >> $htmlfile
 54 
echo "</tr><tr>" >> $htmlfile
55 
 
 55 
 
56 
    cat wims_mathml.l | grep "^\"" | awk -F\" '{if($2 != "<" && length($2)>5) print $2}' | tr '&{([]})#\' ' ' | sort -duif> $listfile
 56 
    cat wims_mathml.l | grep "^\"" | awk -F\" '{if($2 != "<" && length($2)>5) print $2}' | tr '&{([]})#\' ' ' | sort -duif> $listfile
57 
    p=0
 57 
    p=0
58 
    a=0
 58 
    a=0
59 
    while [ $a -le $Tr ] ; do
 59 
    while [ $a -le $Tr ] ; do
60 
        echo -n "<td><b>$firstletter</b></td>" >> $htmlfile
 60 
        echo "<th>$firstletter</th>\c" >> $htmlfile
61 
        a=$((a+1))
 61 
        a=$((a+1))
62 
    done
 62 
    done
63 
    echo -n "</tr><tr>">> $htmlfile
 63 
    echo "</tr><tr>">> $htmlfile
64 
    while read line ; do
 64 
    while read line ; do
65 
        letter_one=$( set -f; printf "%c " $line )
 65 
        letter_one=$( set -f; printf "%c " $line )
66 
        letter_one=`echo $letter_one | tr '[:upper:]' '[:lower:]'`
 66 
        letter_one=`echo $letter_one | tr '[:upper:]' '[:lower:]'`
67 
        if [ "$letter_one" != "$firstletter" ] ; then
 67 
        if [ "$letter_one" != "$firstletter" ] ; then
68 
            firstletter=$letter_one
 68 
            firstletter=$letter_one
69 
            a=$p
 69 
            a=$p
70 
            while [ $a -le $Tr ] ; do
 70 
            while [ $a -le $Tr ] ; do
71 
                echo -n "<td>&nbsp;</td>" >> $htmlfile
 71 
                echo  "<td>&nbsp;</td>" >> $htmlfile
72 
                a=$((a+1))
 72 
                a=$((a+1))
73 
            done
 73 
            done
74 
            echo -n "</tr><tr>" >> $htmlfile
 74 
            echo  "</tr><tr>" >> $htmlfile
75 
            a=0
 75 
            a=0
76 
            while [ $a -le $Tr ] ; do
 76 
            while [ $a -le $Tr ] ; do
77 
                echo -n "<td><b>$firstletter</b></td>" >> $htmlfile
 77 
                echo  "<th>$firstletter</th>" >> $htmlfile
78 
                a=$((a+1))
 78 
                a=$((a+1))
79 
            done
 79 
            done
80 
            echo -n "</tr><tr>" >> $htmlfile
 80 
            echo  "</tr><tr>" >> $htmlfile
81 
            p=0
 81 
            p=0
82 
        fi
 82 
        fi
83 
        chk=`echo $line | wc -c | tr -d '[:blank:]'`
 83 
        chk=`echo $line | wc -c | tr -d '[:blank:]'`
84 
        if [ $chk -gt 1 ] ; then
 84 
        if [ $chk -gt 1 ] ; then
85 
            echo -n "<td>\\$line</td>" >> $htmlfile
 85 
            echo "<td>\\$line\c</td>" >> $htmlfile
86 
            echo "<tr><td>&bsol;$line</td><td>:</td><td>\( \\$line \)</td></tr>" >> $oeffile
 86 
            echo "<tr><td>&bsol;$line</td><td>:</td><td>\( \\$line \)</td></tr>" >> $oeffile
87 
            echo "<tr><td>&bsol;$line</td><td>:</td><td>
 87 
            echo "<tr><td>&bsol;$line</td><td>:</td><td>
88 
!insmath \\$line
 88 
!insmath \\$line
89 
</td></tr>" >> $phtmlfile
 89 
</td></tr>" >> $phtmlfile
90 
            p=$((p+1))
 90 
            p=$((p+1))
91 
            if [ $p -gt $Tr ] ; then
 91 
            if [ $p -gt $Tr ] ; then
92 
                echo -n "</tr><tr>">> $htmlfile
 92 
                echo  "</tr><tr>">> $htmlfile
93 
                p=0
 93 
                p=0
94 
            fi
 94 
            fi
95 
        fi
 95 
        fi
96 
    done < "$listfile"
 96 
    done < "$listfile"
97 
    rm $listfile
 97 
    rm $listfile