[system] Repository:
ViewVC logotype

Revision 2938

Jump to revision: Previous Next
Author: dpvc
Date: Tue Oct 19 00:24:47 2004 UTC (15 years ago)
Log Message:
Added reduction rules to remove redundent negatives.
Override string and TeX methods that avoid redundent parentheses.

Changed paths:

Path Details
Directorytrunk/pg/lib/Parser/BOP/equality.pm modified , text changed

aubreyja at gmail dot com
ViewVC Help
Powered by ViewVC 1.0.9