Quantcast

Eclipse TPTP - Testing Tools - Dev

This forum is an archive for the mailing list tptp-testing-tools-dev@eclipse.org (more options) Messages posted here will be sent to this mailing list.
1234 ... 26
Topics (889)
Replies Last Post Views
Project meta data is out of date for tptp.test by emo
0
by emo
Project meta data is out of date for tptp.test by emo
0
by emo
Project meta data is out of date for tptp.test by emo
0
by emo
Project meta data is out of date for tptp.test by emo
0
by emo
Project meta data is out of date for tptp.test by emo
0
by emo
AGR standard error at 36 percent by Viktor Herczeg
1
by Torsten Stolpmann-3
(no subject) by zuo kun
0
by zuo kun
AUTO: Kris Kobylinski/Toronto/IBM is out of the office. (returning 07/06/2011) by Kris Kobylinski
0
by Kris Kobylinski
AUTO: Serge Lucio is out of the office on vacation (returning 07/11/2011) by Serge Lucio-2
0
by Serge Lucio-2
Project meta data is out of date for tptp.test by emo
0
by emo
AUTO: Kristine Heaton/Raleigh/IBM is out of the office. (returning 05/23/2011) by Kristine Heaton
0
by Kristine Heaton
AUTO: Kris Kobylinski/Toronto/IBM is out of the office. (returning 05/13/2011) by Kris Kobylinski
0
by Kris Kobylinski
Changes in TPTP PMC by Kathy Chan
0
by Kathy Chan
Welcome Torsten Stolpmann as a new tptp.test Committer by portal on behalf of ...
0
by portal on behalf of ...
Committer vote for Torsten Stolpmann has been approved by the PMC by portal on behalf of ...
0
by portal on behalf of ...
Committer vote for Torsten Stolpmann has concluded successfully by portal on behalf of ...
0
by portal on behalf of ...
+1 for Torsten Stolpmann on tptp.test by Paul Slauenwhite by portal on behalf of ...
0
by portal on behalf of ...
Project meta data is out of date for tptp.test by emo
0
by emo
+1 for Torsten Stolpmann on tptp.test by Kathy Chan by portal on behalf of ...
0
by portal on behalf of ...
Vote for Committer status for Torsten Stolpmann was started by Jerome Bozier by portal on behalf of ...
0
by portal on behalf of ...
AUTO: Karthikeyan Dakshinamurthy is out of the office. (returning 30/03/2011) by Karthikeyan Dakshina...
0
by Karthikeyan Dakshina...
IMPORTANT NEWS: Updated plans for TPTP projects by Kathy Chan
0
by Kathy Chan
TPTP 4.7.2 is released! by Kathy Chan
0
by Kathy Chan
AUTO: Kristine Heaton/Raleigh/IBM is out of the office. (returning 12/06/2010) by Kristine Heaton
0
by Kristine Heaton
AUTO: Steven White/Raleigh/IBM is out of the office. (returning 12/06/2010) by Steven White-2
0
by Steven White-2
Reuse test case in AGR? by Harish Dewan-2
2
by portal on behalf of ...
Reuse test case in AGR? by Harish Dewan-2
0
by Harish Dewan-2
IMPORTANT NEWS for all TPTP users and adopters regarding plans after TPTP 4.7.2 by Kathy Chan
0
by Kathy Chan
AUTO: Kris Kobylinski/Toronto/IBM is out of the office. (returning 10/18/2010) by Kris Kobylinski
0
by Kris Kobylinski
Project meta data is out of date for tptp.test by emo
0
by emo
TPTP v4.7.1 is released! by Kathy Chan
1
by Kathy Chan
TPTP 4.7.2 by Kathy Chan
0
by Kathy Chan
AUTO: Monika Mikolajczyk is on vacation Sept 9-21. (returning 09/21/2010) by Monika Mikolajczyk
0
by Monika Mikolajczyk
Plan for upcoming TPTP releases by Kathy Chan
0
by Kathy Chan
Using TPTP-AGR Macro on different machines by Dilu Daniel
0
by Dilu Daniel
1234 ... 26