Re: [Metamath] Proposal: Mark dummylink & idi with "(New usage is discouraged.)"

[Jim Kingdon]

On January 12, 2020 3:25:13 PM PST, "David A. Wheeler" <dwhee...@dwheeler.com> 
wrote:
>I propose that dummylink & idi be marked with
>"(New usage is discouraged.)".

Makes sense to me. I'm not thinking of any disadvantages.

-- 
You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/720ABCE6-BF75-4044-A4B8-273E2C3B0492%40panix.com.