Tags and Properties for Check-in 9c3c6b8bfc

Context

2004-08-29
16:09:49		Added option -no-reduce 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
1996-08-04
17:29:42		Initial revision check-in: 3859bc701c user: gawthrop@users.sourceforge.net tags: origin/master, trunk