spass stable port information

Package: spass
Description: Theorem prover for first-order logic
Version: 3.7
Revision: 1
BuildDepends: fink (>= 0.24.12)
Homepage: http://www.spass-prover.org/
Maintainer: Jesse Alama
License: OSI-Approved
Source: http://www.spass-prover.org/download/sources/spass37.tgz
Source-MD5: 6505f4f3ad91cc289d9dd73889ebb304
PatchFile: %n.patch
PatchFile-MD5: f9c8bf0c2465b58987e69a0110ab62b4
SourceDirectory: SPASS-%v
InstallScript: <<
make install DESTDIR=%d
mv %d/%p/share/info/script.info %d/%p/share/info/spass.info
<<
DocFiles: LICENCE VERSIONHISTORY
InfoDocs: spass.info
DescDetail: <<
If you are interested in first-order logic theorem proving, the formal
analysis of software, systems, protocols, formal approaches to AI
planning, decision procedures, modal logic theorem proving, SPASS may
offer you the right functionality.

If you are interested in sex, drugs, rock'n roll or fish, even though
our logo contains a nice drawing of Opistognathus Latitabunda, you may
be disappointed by the performance of SPASS.
<<


spass stable port .patch

diff -Naur --exclude='*~' SPASS-3.7/doc/texinfo/script.info SPASS-3.7.fink/doc/texinfo/script.info
--- SPASS-3.7/doc/texinfo/script.info 2010-02-23 12:43:13.000000000 +0000
+++ SPASS-3.7.fink/doc/texinfo/script.info 2010-08-09 23:47:04.000000000 +0100
@@ -1,7 +1,12 @@
-This is doc/texinfo/script.info, produced by makeinfo version 4.11 from ./doc/texinfo/script.texi.
+This is doc/texinfo/spass.info, produced by makeinfo version 4.11 from ./doc/texinfo/script.texi.
+
+INFO-DIR-SECTION Theorem proving
+START-INFO-DIR-ENTRY
+* spass: (spass). Theorem prover for first-order logic with equality.
+END-INFO-DIR-ENTRY


-File: script.info, Node: Top, Up: (dir)
+File: spass.info, Node: Top, Up: (dir)

* Menu:

@@ -24,7 +29,7 @@
* spassfaq:: frequently asked questions about SPASS


-File: script.info, Node: SPASS, Next: checkstat, Prev: Top, Up: Top
+File: spass.info, Node: SPASS, Next: checkstat, Prev: Top, Up: Top

1 SPASS
*******
@@ -695,7 +700,7 @@
tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), dfg2dfg(1)


-File: script.info, Node: checkstat, Next: filestat, Prev: SPASS, Up: Top
+File: spass.info, Node: checkstat, Next: filestat, Prev: SPASS, Up: Top

2 checkstat
***********
@@ -876,7 +881,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: filestat, Next: pcs, Prev: checkstat, Up: Top
+File: spass.info, Node: filestat, Next: pcs, Prev: checkstat, Up: Top

3 filestat
**********
@@ -927,7 +932,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: pcs, Next: pgen, Prev: filestat, Up: Top
+File: spass.info, Node: pcs, Next: pgen, Prev: filestat, Up: Top

4 pcs
*****
@@ -1063,7 +1068,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: pgen, Next: rescmp, Prev: pcs, Up: Top
+File: spass.info, Node: pgen, Next: rescmp, Prev: pcs, Up: Top

5 pgen
******
@@ -1147,7 +1152,7 @@
Write tableau representation in xvcg format.


-File: script.info, Node: daVinci and VCG, Up: Top
+File: spass.info, Node: daVinci and VCG, Up: Top

5.5 DAVINCI AND VCG
====================
@@ -1177,7 +1182,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: rescmp, Next: tpform, Prev: pgen, Up: Top
+File: spass.info, Node: rescmp, Next: tpform, Prev: pgen, Up: Top

6 rescmp
********
@@ -1225,7 +1230,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: tpform, Next: tpget, Prev: rescmp, Up: Top
+File: spass.info, Node: tpform, Next: tpget, Prev: rescmp, Up: Top

7 tpform
********
@@ -1315,7 +1320,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: tpget, Next: deprose, Prev: tpform, Up: Top
+File: spass.info, Node: tpget, Next: deprose, Prev: tpform, Up: Top

8 tpget
*******
@@ -1372,7 +1377,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: deprose, Next: dfg2ascii, Prev: tpget, Up: Top
+File: spass.info, Node: deprose, Next: dfg2ascii, Prev: tpget, Up: Top

9 deprose
*********
@@ -1420,7 +1425,7 @@
tpget(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)


-File: script.info, Node: dfg2ascii, Next: dfg2otter, Prev: deprose, Up: Top
+File: spass.info, Node: dfg2ascii, Next: dfg2otter, Prev: deprose, Up: Top

10 dfg2ascii
************
@@ -1456,7 +1461,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)


-File: script.info, Node: dfg2otter, Next: dfg2otter.pl, Prev: dfg2ascii, Up: Top
+File: spass.info, Node: dfg2otter, Next: dfg2otter.pl, Prev: dfg2ascii, Up: Top

11 dfg2otter
************
@@ -1497,7 +1502,7 @@
tpget(1), deprose(1), dfg2otter.pl(1), SPASS(1)


-File: script.info, Node: dfg2otter.pl, Next: dfg2dfg, Prev: dfg2otter, Up: Top
+File: spass.info, Node: dfg2otter.pl, Next: dfg2dfg, Prev: dfg2otter, Up: Top

12 dfg2otter.pl
***************
@@ -1543,7 +1548,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)


-File: script.info, Node: dfg2dfg, Next: dfg2tptp, Prev: dfg2otter.pl, Up: Top
+File: spass.info, Node: dfg2dfg, Next: dfg2tptp, Prev: dfg2otter.pl, Up: Top

13 dfg2dfg
**********
@@ -1626,7 +1631,7 @@
SPASS(1)


-File: script.info, Node: dfg2tptp, Next: tptp2dfg, Prev: dfg2dfg, Up: Top
+File: spass.info, Node: dfg2tptp, Next: tptp2dfg, Prev: dfg2dfg, Up: Top

14 dfg2tptp
***********
@@ -1665,7 +1670,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)


-File: script.info, Node: tptp2dfg, Next: spassfaq, Prev: dfg2tptp, Up: Top
+File: spass.info, Node: tptp2dfg, Next: spassfaq, Prev: dfg2tptp, Up: Top

15 tptp2dfg
***********
@@ -1712,7 +1717,7 @@
dfg2tptp(1), dfg2otter(1), SPASS(1)


-File: script.info, Node: spassfaq, Prev: tptp2dfg, Up: Top
+File: spass.info, Node: spassfaq, Prev: tptp2dfg, Up: Top

16 spassfaq
***********

spass _unstable_ port .patch