search

inpho / inphosite

The InPhO API
https://inphoproject.org
15 stars 5 forks source link

can't change label on idea #134

Closed colinallen closed 8 years ago

colinallen commented 10 years ago

https://inpho.cogs.indiana.edu/idea/1933 -- shows Untitled at the tope -- this is due to my attempt to change old label "quantification" to match new SEP title "quantifiers and quantification".

colinallen commented 10 years ago

Note that https://inpho.cogs.indiana.edu/idea/1500 also has "untitled" as this was due to prior attempt to change "Ontology and ontological commitment" to just "Ontological Commitment" again to correspond to SEP title. These two untitled items also now show up as duplicates in the idea integrity check.

colinallen commented 9 years ago

Now there are three "Undefined" as I just made the same move with "Fallacies" (from "Fallacy") thinking the bug had been fixed.