<!ENTITY intro SYSTEM "sec_intro.xml">
<!ENTITY terms SYSTEM "sec_terms.xml">
<!ENTITY tactics SYSTEM "sec_tactics.xml">
+ <!ENTITY tacticals SYSTEM "sec_tacticals.xml">
+ <!ENTITY othercommands SYSTEM "sec_commands.xml">
+ <!ENTITY usernotation SYSTEM "sec_usernotation.xml">
<!ENTITY manrevision "0">
<!ENTITY date "February 2006">
<!-- Entities for BNF -->
<!ENTITY id "<emphasis><link linkend='id'>id</link></emphasis>">
<!ENTITY uri "<emphasis><link linkend='uri'>uri</link></emphasis>">
+ <!ENTITY char "<emphasis><link linkend='char'>char</link></emphasis>">
+ <!ENTITY uri-step "<emphasis><link linkend='uri-step'>uri-step</link></emphasis>">
<!ENTITY nat "<emphasis><link linkend='nat'>nat</link></emphasis>">
<!ENTITY term "<emphasis><link linkend='term'>term</link></emphasis>">
<!ENTITY match_pattern "<emphasis><link linkend='match_pattern'>match_pattern</link></emphasis>">
<!ENTITY args "<emphasis><link linkend='args'>args</link></emphasis>">
+ <!ENTITY args2 "<emphasis><link linkend='args2'>args2</link></emphasis>">
<!ENTITY sterm "<emphasis><link linkend='sterm'>sterm</link></emphasis>">
+ <!ENTITY intros-spec "<emphasis><link linkend='intros-spec'>intros-spec</link></emphasis>">
+ <!ENTITY pattern "<emphasis><link linkend='pattern'>pattern</link></emphasis>">
+ <!ENTITY reduction-kind "<emphasis><link linkend='reduction-kind'>reduction-kind</link></emphasis>">
]>
<?yelp:chunk-depth 3?>
&install;
&gettingstarted;
&terms;
+&usernotation;
&tactics;
+&tacticals;
+&othercommands;
<!-- ============= Application License ============================= -->