=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- OpenXM/src/kan96xx/Kan/usage.sm1 2003/06/26 13:00:11 1.7 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2004/09/10 22:21:27 1.8 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.6 2003/06/26 08:14:47 takayama Exp $ +%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.7 2003/06/26 13:00:11 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -185,7 +185,7 @@ ( <> ring_of_polynomials, ring_of_differential_operators, ) ( ring_of_difference_operators) ( <> elimination_order, weight_vector) - ( ring_def,ring , << ,, >>) + ( ring_def,ring , << __ >>) ] ] putUsages