[elephant-devel] Manual interfaces to indexing

Leslie P. Polzer leslie.polzer at gmx.net
Tue Mar 4 20:41:37 UTC 2008


> Does anyone use the manual index interface (enable/disable class
> indexing, add-class-slot-index, etc) for anything other than derived
> indices?

I'm in favor of removing them.

  Leslie




More information about the elephant-devel mailing list