From c59c1cdcdf3d651acbc892b1ea0f1d56d9d8961f Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 8 Aug 2008 16:18:48 +0000 Subject: * interp/pf2sex.boot (pfApplication2Sex): Don't transform ">", "=>", and "<=" expressions. --- src/ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index a11f5e22..30200632 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,10 +1,16 @@ 2008-08-08 Gabriel Dos Reis + + * interp/pf2sex.boot (pfApplication2Sex): Don't transform ">", + "=>", and "<=" expressions. * algebra/aggcat.spad.pamphlet (part?$SetAggregate): Rename from <$SetAggregate. (part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate * algebra/mset.spad.pamphlet (part?$Multiset): Rename from <$Mulitset. + * algebra/pleqn.spad.pamphlet (overset?$ParametricLinearEquations): + Use part? instead of <. + * algebra/qalgset.spad.pamphlet (overset?$QuasiAlgebraicSet): Likewise. * input/mset.input.pamphlet: Adjust. * input/mset2.input.pamphlet: Likewise. -- cgit v1.2.3