Author: ochikvina Date: 2008-08-18 08:05:13 -0400 (Mon, 18 Aug 2008) New Revision: 9765 Modified: trunk/as/docs/reference/en/master.xml Log: https://jira.jboss.org/jira/browse/JBDS-385 - adding new chapter "TPTP support" Modified: trunk/as/docs/reference/en/master.xml =================================================================== --- trunk/as/docs/reference/en/master.xml 2008-08-18 10:24:07 UTC (rev 9764) +++ trunk/as/docs/reference/en/master.xml 2008-08-18 12:05:13 UTC (rev 9765) @@ -7,6 +7,7 @@ <!ENTITY perspective SYSTEM "modules/perspective.xml"> <!ENTITY webtools SYSTEM "modules/webtools.xml"> <!ENTITY modules SYSTEM "modules/modules.xml"> +<!ENTITY tptp_support SYSTEM "modules/tptp_support.xml"> <!ENTITY seamlink "../../seam/html_single/index.html"> <!ENTITY aslink "../../as/html_single/index.html"> @@ -51,4 +52,6 @@ &perspective; &webtools; &modules; + &tptp_support; + </book>