Talk:Idris (operating system)

From Wikipedia, the free encyclopedia

[edit] Idris

I don't know what Idris is named after. Would you accept that including a link to Idris in a See also would help the article? I still find that it is better to point to possible sources than leave readers in the dark. --84.20.17.84 11:19, 21 February 2007 (UTC)

No problem. AlistairMcMillan 13:12, 21 February 2007 (UTC)
Retrieved from "http://en.wikipedia.org../../../i/d/r/Talk%7EIdris_%28operating_system%29_2b67.html"