Hello all, I did a little exploratory work in anticipation of tomorrow’s chat.
On 3 May 2014, at 20:53, Michael Kohlhase <[email protected]> wrote: > I have done some triaging already and closed some, but there are quite a > few still interesting. Maybe you can also have a look (and/or suggest > that others do that as well on the mailing list) So I looked at: http://trac.mathweb.org/OM3/report/9 There are 72 entries, only 5 of which are not classified as ‘new’ -- whilst most are in fact by now at least 4 years old. Thus almost all of these were initiated by members of the current group many years ago. Mostly by just one: Michael!! James also has a noticeable number, Christoph a few and David just one. REQUEST: It would probably be most efficient if the relevant members of this group look quickly here at those labelled ‘new’ that they initiated (and are more than a year old) and triage them as: - should have been closed or otherwise discarded long ago; - need checking (also maybe suggest best person to do this); - definitely still need attention. I suspect that most are in the first category. Thanks for you attention! chris _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
