FriCAS Code

remove obsolete \axiom* commands from util.ht

\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

Documentation update.

Fix a few HyperDoc examples.

Misc cleanups.

remove trailing whitespace, trailing empty lines, expand tabs

remove trailing whitespace
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i 's/[ \t]*$//' {} \;

remove trailing empty lines
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' {} \;

expand tabs to spaces
for f in $(grep -lR ' ' *|grep -v Make|grep -v config|fgrep -v '.as'|grep -v '.ht$'|grep -v 'diff$'|grep -v 'icns$'|grep -v rules|grep -v ChangeLog); do expand $f > $f.x; mv $f.x $f; done

Restore mobius.VIEW

re-establish HyperDoc content from .htex sources