+1 to all of your proposals
I do not know if I can work on this this week, and I am travelling next week (ACL). Let me know if I can do anything. I will try to pack it in somehow. Best, Peter Am 04.08.2016 um 17:11 schrieb Marshall Schor: > Should we change the names in SerialFormat for the formats which embed the > type > system and index definitions to use the suffix TSI instead of TS, to remind > everyone that this is both the type system and the index definition? (this is > my preference) > > Now's the time to make the change :-) if we're going to do it. > > -Marshall
