[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-monitoring-tools-dev] +1 for Ernest Mah

+1
Ernest is a valuable addition to TPTP.

Voting summary: http://portal.eclipse.org/