Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv30446
Added Files:
spass.info spass.patch
Log Message:
New theorem prover.
SPASS macht SpaÃ.
--- NEW FILE: spass.info ---
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 <[email protected]>
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.
<<
--- NEW FILE: spass.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
***********
------------------------------------------------------------------------------
This SF.net email is sponsored by
Make an app they can't live without
Enter the BlackBerry Developer Challenge
http://p.sf.net/sfu/RIM-dev2dev
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
