Changes between Initial Version and Version 1 of Ticket #31398, comment 11
- Timestamp:
- 02/16/21 04:16:51 (17 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31398, comment 11
initial v1 1 All of the references ''should'' be moved to the master index, and they all ''should'' be put into the standard format, but there are a lot of them in `combinat` (maybe also in `graphs`, I forget), and it's tedious work. It can also yield a patch bomb. Fixing a few as we come across them is a good compromise.1 All of the references ''should'' be moved to the master index, and they all ''should'' be put into the standard format, but there are a lot of them in `combinat`, and it's tedious work. It can also yield a patch bomb. Fixing a few as we come across them is a good compromise.