Jump to: navigation, search

Difference between revisions of "RAP/ProjectMetrics"

< RAP
(New page: RAP 1.3 (Helios) * Number of plug-ins: ~16 * Size of TPTP runtime: ~22 MB (~10.5 MB when compressed in zips) * Number of active committers: 8 (14 in total) * Number of bugs opened since 1...)
 
m
Line 1: Line 1:
RAP 1.3 (Helios)
+
== RAP 1.3 (Helios) ==
 
* Number of plug-ins: ~16
 
* Number of plug-ins: ~16
 
* Size of TPTP runtime: ~22 MB (~10.5 MB when compressed in zips)  
 
* Size of TPTP runtime: ~22 MB (~10.5 MB when compressed in zips)  

Revision as of 11:24, 28 April 2010

RAP 1.3 (Helios)

  • Number of plug-ins: ~16
  • Size of TPTP runtime: ~22 MB (~10.5 MB when compressed in zips)
  • Number of active committers: 8 (14 in total)
  • Number of bugs opened since 1.3 development start: 805 (109 thereof still open)

This page will be updated with more detail closer to release ship dates.