| Thu, 08 Aug 2002 23:49:44 +0200 | wenzelm | adhoc_freeze_vars; | file | diff | annotate |
| Fri, 18 Aug 2000 12:30:41 +0200 | paulson | now allows dest_coeff to fail | file | diff | annotate |
| Thu, 10 Aug 2000 11:30:22 +0200 | paulson | new structure field "add" for CombineNumerals | file | diff | annotate |
| Thu, 29 Jun 2000 16:50:52 +0200 | paulson | now freezes Vars in order to prevent errors in cases like these: | file | diff | annotate |
| Fri, 05 May 2000 22:32:49 +0200 | wenzelm | removed dead code: listof; | file | diff | annotate |
| Fri, 05 May 2000 17:49:54 +0200 | paulson | simprocs now simplify the RHS of their result | file | diff | annotate |
| Tue, 02 May 2000 18:39:34 +0200 | paulson | new simproc, replacing combine_coeffs and working for nat, int, real | file | diff | annotate |