#Run this script whenever the package version number has increased. It #first updates the .xml manual files, and then changes the version number #in several www files and in the README.HAP file.
gap -l '/home/graham/;' -A -r ./doc/updateUndocumented.gi;
gap -l '/home/graham/;' -r ./doc/updateIndex.gi;
./doc/rd.sh
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
