Clean up norm-out script.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1502 b0c55286-4f34-0410-a049-a1e7e93b0762
More renames of 'Axiom' to 'FriCAS'.


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


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1505 b0c55286-4f34-0410-a049-a1e7e93b0762
Only request Comparable from the second argument to FreeModule.


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


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1508 b0c55286-4f34-0410-a049-a1e7e93b0762
Small Spad syntax change.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1509 b0c55286-4f34-0410-a049-a1e7e93b0762
expand-tabs really expands all tabs.


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1511 b0c55286-4f34-0410-a049-a1e7e93b0762
Use fresh dummies for formal diffs.


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1513 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix fortran output of exponents


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1514 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix ')undo'.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1515 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix another fortran output problem.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1516 b0c55286-4f34-0410-a049-a1e7e93b0762
Update compiled boot files.


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


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1518 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix build with clisp.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1519 b0c55286-4f34-0410-a049-a1e7e93b0762
Work around broken Gentoo sbcl.


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


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