Log of /trunk/pg/lib/Parser/BOP/equality.pm
Parent Directory
Revision
2938 -
(
view)
(
download)
(
as text)
(
annotate)
-
[select for diffs]
Modified
Tue Oct 19 00:24:47 2004 UTC (8 years, 7 months ago) by
dpvc
File length: 3814 byte(s)
Diff to
previous 2645
Added reduction rules to remove redundent negatives.
Override string and TeX methods that avoid redundent parentheses.
Revision
2616 -
(
view)
(
download)
(
as text)
(
annotate)
-
[select for diffs]
Added
Sat Aug 14 21:29:21 2004 UTC (8 years, 9 months ago) by
dpvc
File length: 1679 byte(s)
Added an equality operator (not active initially) that can be used for
things like equations of planes and so on. I'm working on the answer
checker for that.
This form allows you to request diffs between any two revisions of this file.
For each of the two "sides" of the diff,
enter a numeric revision.