File: mn22.html

package info (click to toggle)
tex4ht 19990804-1
  • links: PTS
  • area: main
  • in suites: potato
  • size: 2,384 kB
  • ctags: 799
  • sloc: ansic: 7,653; makefile: 116; sh: 24
file content (28 lines) | stat: -rw-r--r-- 2,191 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
  
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> 
<html  
><head><!--mn22.html from mn.tex (TeX4ht, 1999-03-31 04:46:00)--> 
<title>mn22.html</title><link 
rel="stylesheet" type="text/css" href="mn.css"></head><body 
><a 
 href="mn2.html#mn22-1"  name="mn22-1" >1</a>. <SPAN CLASS="cmtt-10">\input</SPAN>
<SPAN CLASS="cmtt-10">ProTex.sty</SPAN><BR><SPAN CLASS="cmtt-10">\AlProTex{</SPAN><SPAN CLASS="cmti-10">extension</SPAN><SPAN CLASS="cmtt-10">,&lt;&lt;&lt;&gt;&gt;&gt;,list,title,</SPAN><SPAN CLASS="cmti-10">escape-character</SPAN><SPAN CLASS="cmtt-10">}</SPAN>
<!--4119--><p class="noindent">The <SPAN CLASS="cmti-10">escape-character </SPAN>stands for <code><SPAN CLASS="cmtt-10">`</SPAN></code>, <code><SPAN CLASS="cmtt-10">@</SPAN></code>, <code><SPAN CLASS="cmtt-10">|</SPAN></code>, or <code><SPAN CLASS="cmtt-10">?</SPAN></code>. If omitted, it stands for `<code><SPAN CLASS="cmtt-10">\</SPAN></code>'.
<!--4122--><p class="indent">    The commands need the packages <a 
 href="http://www.cis.ohio-state.edu/~gurari/systems.html" >ProTex.sty and AlProTex.sty</a>.
<HR><a 
 href="mn2.html#mn22-2"  name="mn22-2" >2</a>. <SPAN CLASS="cmtt-10">\&lt;</SPAN><SPAN CLASS="cmti-10">title</SPAN><SPAN CLASS="cmtt-10">\&gt;&lt;&lt;&lt;</SPAN><BR><SPAN CLASS="cmti-10">code fragment</SPAN><BR><SPAN CLASS="cmtt-10">&gt;&gt;&gt;</SPAN>
<!--4136--><p class="indent">    This structure provides names to code fragments (the fragments should not be too large in size).
<HR><a 
 href="mn2.html#mn22-3"  name="mn22-3" >3</a>. <SPAN CLASS="cmtt-10">`&lt;</SPAN><SPAN CLASS="cmti-10">title</SPAN><SPAN CLASS="cmtt-10">`&gt;</SPAN>
<!--4145--><p class="indent">    This command acts as a place holder for the code segment associated to the title (` stands for the escape
character).
<HR><a 
 href="mn2.html#mn22-4"  name="mn22-4" >4</a>. <SPAN CLASS="cmtt-10">\OutputCode\&lt;...\&gt;</SPAN>
<!--4153--><p class="indent">    This command creates a file for the code whose root node is specified.
<!--4161--><p class="noindent">Example: <a 
 href="mn23.html"  name="mn23.html" >source</a> <SPAN CLASS="cmtt-10">&amp; </SPAN><a 
 href="prgmn.html" >outcome</a>
     
</body> 
</html>