Changes between Initial Version and Version 1 of Ticket #18812, comment 22


Ignore:
Timestamp:
06/29/15 13:39:05 (6 years ago)
Author:
ncohen
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18812, comment 22

    initial v1  
    11> Even though I still think they are not needed, I have a slight preference for that, yes.
    22
    3 What about the names of those functions? I wrote them without thinking, but if we are to keep them around thn perhaps it deserves more thinking about.
     3What about the names of those functions? I wrote them without thinking, but if we are to keep them around then perhaps it deserves more brain time.
    44
    55Do you prefer a `to_cdd_Hrepresentation` or anything else?