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
29
30
31
32
33
34
35
36
37
38
39
|
<?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/TR/xhtml1/transitional"
>
<head><title></title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<meta name="generator" content="TeX4ht (http://www.cis.ohio-state.edu/~gurari/TeX4ht/mn.html)" />
<!--xhtml,th4,index-->
<meta name="src" content="mn.tex" />
<meta name="date" content="2001-02-28 17:02:00" />
<link rel="stylesheet" type="text/css" href="mn.css" />
</head><body
>
<!--l. 3889--><p class="noindent"><a
href="mn3.html#mn23-1" name="mn23-1" >1</a>. <span class="cmtt-10">\input ProTex.sty</span><br /><span class="cmtt-10">\AlProTex{</span><span class="cmti-10">extension</span><span class="cmtt-10">,<<<>>>,list,title,</span><span class="cmti-10">escape-character</span><span class="cmtt-10">}</span>
</p><!--l. 3892--><p class="indent"> The <span class="cmti-10">escape-character </span>stands for <span class="cmtt-10">`</span>, <span class="cmtt-10">@</span>, <span class="cmtt-10">|</span>, or <span class="cmtt-10">?</span>. If omitted, it stands for ‘<span class="cmtt-10">\</span>’.
</p><!--l. 3895--><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>.
</p><hr />
<!--l. 3907--><p class="noindent"><a
href="mn3.html#mn23-2" name="mn23-2" >2</a>. <span class="cmtt-10">\<</span><span class="cmti-10">title</span><span class="cmtt-10">\><<<</span><br /><span class="cmti-10">code fragment</span><br /><span class="cmtt-10">>>></span>
</p><!--l. 3909--><p class="indent"> This structure provides names to code fragments (the fragments should not be too large in size).
</p><hr />
<!--l. 3916--><p class="noindent"><a
href="mn3.html#mn23-3" name="mn23-3" >3</a>. <span class="cmtt-10">`<</span><span class="cmti-10">title</span><span class="cmtt-10">`></span>
</p><!--l. 3918--><p class="indent"> This command acts as a place holder for the code segment associated to the title (‘ stands for the escape
character).
</p><hr />
<!--l. 3924--><p class="noindent"><a
href="mn3.html#mn23-4" name="mn23-4" >4</a>. <span class="cmtt-10">\OutputCode\<...\></span>
</p><!--l. 3926--><p class="indent"> This command creates a file for the code whose root node is specified.
</p><!--l. 3934--><p class="noindent">Example: <a
href="mn24.html" name="mn24.html" >source</a> <span class="cmtt-10">& </span><a
href="prgmn.html" >outcome</a>
</p>
</body></html>
|
