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