\axiom* \spad*

for f in $(find . -type f|grep -v '\.git'|grep -v '\.sh$'|grep -v '\.awk'); do
    sed -i \
        -e 's/\\axiomType{/\\spadtype{/g' \
        -e 's/\\axiomOp{/\\spadop{/g' \
        -e 's/\\axiomOpFrom{/\\spadopFrom{/g' \
        -e 's/\\axiomFun{/\\spadfun{/g' \
        -e 's/\\axiomFunFrom{/\\spadfunFrom{/g' \
        -e 's/\\axiomFunX{/\\spadfunX{/g' \
        -e 's/\\axiomFunFromX{/\\spadfunFromX{/g' \
        -e 's/\\axiomSyntax{/\\spadSyntax{/g' \
        -e 's/\\axiomSig{/\\spadsig{/g' \
        -e 's/\\axiom{/\\spad{/g' \
        -e 's/\\axiomGloss{/\\spadgloss{/g' \
        -e 's/\\axiomGlossSee{/\\spadglossSee{/g' \
        -e 's/\\axiomcommand{/\\spadcommand{/g' \
        -e 's/\\axiomgraph{/\\spadgraph{/g' \
        -e 's/\\\\axiomType\\{/\\\\spadtype\\{/g' \
        -e 's/\\\\axiomcommand\\{/\\\\spadcommand\\{/g' \
        -e 's/\\\\axiomOp\\{/\\\\spadop\\{/g' \
        -e 's/\\\\axiomOpFrom\\{/\\\\spadopFrom\\{/g' \
        -e 's/\\\\axiomSig\\{/\\\\spadsig\\{/g' \
        $f
done

A few manual replacement that were not caught by the script above in
the following files.
  src/algebra/cra.spad
  src/algebra/triset.spad
  src/doc/ht/HTXFormatPage8.ht
  src/doc/htex/ug12.htex
  src/doc/htex/ug13.htex
  src/doc/htex/ug21.htex

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1768 b0c55286-4f34-0410-a049-a1e7e93b0762
remove obsolete \axiom* commands from util.ht

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1769 b0c55286-4f34-0410-a049-a1e7e93b0762