Update the new nodes that were just added.
commitf3f5cac5516381ac1da0753e197f471524d4e196
authorRaymond Toy <toy.raymond@gmail.com>
Fri, 9 Jun 2023 14:36:41 +0000 (9 07:36 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Sat, 17 Jun 2023 21:42:52 +0000 (17 14:42 -0700)
tree1e4afe01907150a6529ab688edd7b5b9b44d1762
parent89db1348da1e8a11a703406eba43415c0294c7aa
Update the new nodes that were just added.
doc/info/zeilberger.texi.m4