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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on February, 23 2010 by texi2html 1.78 -->
<!--
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>frequently asked questions about SPASS: Short Table of Contents</title>
<meta name="description" content="frequently asked questions about SPASS: Short Table of Contents">
<meta name="keywords" content="frequently asked questions about SPASS: Short Table of Contents">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.78">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="SEC_Overview"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="script.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[Contents]</td>
<td valign="middle" align="left">[Index]</td>
<td valign="middle" align="left">[<a href="script_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<h1>Short Table of Contents</h1>
<div class="shortcontents">
<ul class="toc">
<li><a name="TOC1" href="script_1.html#SEC1">1. SPASS</a></li>
<li><a name="TOC10" href="script_2.html#SEC10">2. checkstat</a></li>
<li><a name="TOC18" href="script_3.html#SEC18">3. filestat</a></li>
<li><a name="TOC25" href="script_4.html#SEC25">4. pcs</a></li>
<li><a name="TOC32" href="script_5.html#SEC32">5. pgen</a></li>
<li><a name="TOC40" href="script_6.html#SEC40">6. rescmp</a></li>
<li><a name="TOC47" href="script_7.html#SEC47">7. tpform</a></li>
<li><a name="TOC55" href="script_8.html#SEC55">8. tpget</a></li>
<li><a name="TOC63" href="script_9.html#SEC63">9. deprose</a></li>
<li><a name="TOC69" href="script_10.html#SEC69">10. dfg2ascii</a></li>
<li><a name="TOC75" href="script_11.html#SEC75">11. dfg2otter</a></li>
<li><a name="TOC81" href="script_12.html#SEC81">12. dfg2otter.pl</a></li>
<li><a name="TOC88" href="script_13.html#SEC88">13. dfg2dfg</a></li>
<li><a name="TOC95" href="script_14.html#SEC95">14. dfg2tptp</a></li>
<li><a name="TOC101" href="script_15.html#SEC101">15. tptp2dfg</a></li>
<li><a name="TOC108" href="script_16.html#SEC108">16. spassfaq</a></li>
</ul>
</div>
<hr size="1">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="script.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[Contents]</td>
<td valign="middle" align="left">[Index]</td>
<td valign="middle" align="left">[<a href="script_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
<font size="-1">
This document was generated by <em>Christoph Weidenbach</em> on <em>February, 23 2010</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.78</em></a>.
</font>
<br>
</p>
</body>
</html>
|
