FriCAS Code

fix location of git mirror of svn repository

use ${MKDIR_P} instead of 'mkdir -p'

bugfix: comma --> semicolon

sync with aldor version

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

make clean now does not remove cliques.as

Update Aldor interface for free Aldor.

forget about blacklisted domains

enable Matrix over SemiRng+AbelianMonoid

enable configuration of local aldor source files

If a checkout of trunk (revision 23) of the Aldor SVN repository is in
directory D then "configure --enable-aldor=$D" will take the necessary
sourcefiles from this directory instead of contacting the Internet.