re-establish HyperDoc content from .htex sources

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1586 b0c55286-4f34-0410-a049-a1e7e93b0762
make dist and use pregenerated files

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


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1589 b0c55286-4f34-0410-a049-a1e7e93b0762
cleanup all-axiomsys and all-interpsys dependencies

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1590 b0c55286-4f34-0410-a049-a1e7e93b0762
replace timestamp code by `date`

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1591 b0c55286-4f34-0410-a049-a1e7e93b0762
remove warm.data, topics.data, and related code

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


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1594 b0c55286-4f34-0410-a049-a1e7e93b0762
Delete a debugging printout


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