Code sorting can now be used with Reduce (via sese.r) so that existing CRs
work with sorted code (using -make-sort or -sort), or without by using
-no-reduce; this option implies -make-sort. check-in: 9c3c6b8bfc user: geraint@users.sourceforge.net tags: origin/master, trunk