← Back to branch summary

~ubuntu-branches/ubuntu/trusty/spass/trusty

« back to all changes in this revision

Viewing changes to .pc/debian-changes-3.7-1/doc/texinfo/script.texi

  • Committer: Bazaar Package Importer
  • Author(s): Roland Stigge
  • Date: 2010-06-27 18:59:28 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20100627185928-kdjuqghv04rxyqmc
Tags: 3.7-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
.pc/debian-changes-3.7-1/doc/texinfo/script.texi
 
1
\input texinfo   @c -*-texinfo-*-
 
2
@c %**start of header
 
3
@setfilename script.info
 
4
@settitle Documentation for SPASS-scripts
 
5
@c %**end of header
 
6
 
 
7
@setchapternewpage on
 
8
 
 
9
@titlepage
 
10
@title SPASS
 
11
@subtitle a documentation of SPASS and related tools 
 
12
@author Thorsten Engel
 
13
@author Christian Theobalt
 
14
 
 
15
@end titlepage
 
16
 
 
17
 
 
18
@node    Top,           ,         , (dir)
 
19
@comment node-name, next, previous, up
 
20
 
 
21
@menu
 
22
* SPASS::           describes SPASS
 
23
* checkstat::       describes the checkstat script
 
24
* filestat::        describes the filestat script
 
25
* pcs::             describes the pcs script
 
26
* pgen::            describes the pgen script
 
27
* rescmp::          describes the rescmp script
 
28
* tpform::          describes the tpform script
 
29
* tpget::           describes the tpget script
 
30
* deprose::         describes the deprose script
 
31
* dfg2ascii::       describes the dfg2ascii program
 
32
* dfg2otter::       describes dfg2otter.pl
 
33
* dfg2otter.pl::    describes dfg2otter.pl
 
34
* dfg2dfg::         describes the dfg2dfg program
 
35
* dfg2tptp::        describes the dfg2tptp program
 
36
* tptp2dfg::        describes the tptp2dfg program
 
37
* daVinci and VCG:: daVinci and VCG
 
38
* spassfaq::        frequently asked questions about SPASS
 
39
@end menu
 
40
 
 
41
@include SPASS.texi
 
42
 
 
43
@include checkstat.texi
 
44
 
 
45
@include filestat.texi
 
46
 
 
47
@include pcs.texi
 
48
 
 
49
@include pgen.texi
 
50
 
 
51
@include rescmp.texi
 
52
 
 
53
@include tpform.texi
 
54
 
 
55
@include tpget.texi
 
56
 
 
57
@include deprose.texi
 
58
 
 
59
@include dfg2ascii.texi
 
60
 
 
61
@include dfg2otter.texi
 
62
 
 
63
@include dfg2otter.pl.texi
 
64
 
 
65
@include dfg2dfg.texi
 
66
 
 
67
@include dfg2tptp.texi
 
68
 
 
69
@include tptp2dfg.texi
 
70
 
 
71
@include spassfaq.texi
 
72
 
 
73
@shortcontents
 
74
 
 
75
@bye