Bug#554263: O: proofgeneral -- generic interface for proof assistants - common package
Package: wnpp
Severity: normal
The current maintainer of proofgeneral, Stefan Schimanski <schimmi@debian.org>,
is apparently not active anymore. Therefore, I orphan this package now.
Maintaining a package requires time and skills. Please only adopt this
package if you will have enough time and attention to work on it.
If you want to be the new maintainer, please see
http://www.debian.org/devel/wnpp/index.html#howto-o for detailed
instructions how to adopt a package properly.
Some information about this package:
Package: proofgeneral
Binary: proofgeneral, proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc, proofgeneral-doc
Version: 3.7-3.1
Priority: optional
Section: editors
Maintainer: Stefan Schimanski <schimmi@debian.org>
Build-Depends: debhelper (>= 7), po-debconf
Architecture: all
Standards-Version: 3.7.3
Format: 1.0
Directory: pool/main/p/proofgeneral
Files:
cddba93feaf57bbb1a31358a8f4ccdcd 1109 proofgeneral_3.7-3.1.dsc
c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
99f4faa905d6b4abc2cf0bcf056a0410 23726 proofgeneral_3.7-3.1.diff.gz
Homepage: http://proofgeneral.inf.ed.ac.uk
Checksums-Sha1:
06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz
Checksums-Sha256:
9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz
Package: proofgeneral
Binary: proofgeneral, proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc, proofgeneral-doc
Version: 3.7-3.1
Priority: optional
Section: editors
Maintainer: Stefan Schimanski <schimmi@debian.org>
Build-Depends: debhelper (>= 7), po-debconf
Architecture: all
Standards-Version: 3.7.3
Format: 1.0
Directory: pool/main/p/proofgeneral
Files:
cddba93feaf57bbb1a31358a8f4ccdcd 1109 proofgeneral_3.7-3.1.dsc
c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
99f4faa905d6b4abc2cf0bcf056a0410 23726 proofgeneral_3.7-3.1.diff.gz
Homepage: http://proofgeneral.inf.ed.ac.uk
Checksums-Sha1:
06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz
Checksums-Sha256:
9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz
Package: proofgeneral
Priority: optional
Section: editors
Installed-Size: 1696
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Version: 3.7-3.1
Depends: debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info
Recommends: proofgeneral-misc | proofgeneral-coq
Suggests: x-symbol
Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3.1_all.deb
Size: 482460
MD5sum: 613486cb58febb8c7715cc913281e1c2
SHA1: a79277bf211e50a155cef7a5e21df01b0f63657c
SHA256: 1291574d1d9c279c9391c11a37428f3e724d0cd9a29005425d4ef892565214b8
Description: generic interface for proof assistants - common package
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral
Priority: optional
Section: editors
Installed-Size: 1696
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Version: 3.7-3
Depends: debconf | debconf-2.0, emacs22 | emacsen
Recommends: proofgeneral-misc | proofgeneral-coq
Suggests: x-symbol
Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3_all.deb
Size: 483224
MD5sum: 49a2e10a446833ed61ce41beec5cb5a0
SHA1: 9f4c78221c54a9c438bcf764b495ca216e2a844d
SHA256: 34725ef0d98367b953bf9af56f5373b826c566e7d80683e73060384415c67571
Description: generic interface for proof assistants - common package
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-coq
Priority: optional
Section: editors
Installed-Size: 336
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral
Recommends: coq
Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3.1_all.deb
Size: 72356
MD5sum: 0527e42537c1cb4378f9dfaff00a1d5c
SHA1: 43d7bec4feee4b3a968379ed9aee1f657697df69
SHA256: 804e325b01786208affe0e72113e319a51567ab5f286ee5937ebd7fe1ac1e6b2
Description: generic interface for proof assistants - coq support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-coq
Priority: optional
Section: editors
Installed-Size: 336
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: proofgeneral
Recommends: coq
Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3_all.deb
Size: 71722
MD5sum: 00f974465c7337fd8c5bdfb832ef6bb6
SHA1: 2478b6ab1f3e75beec7998822239e450b1cdbc3b
SHA256: 7e9a4e50f93314f50dcc199ca55c85475d7f8a1f8c1dd96c0e707dc02124dd81
Description: generic interface for proof assistants - coq support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-minlog
Priority: optional
Section: editors
Installed-Size: 96
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
Recommends: minlog
Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3.1_all.deb
Size: 20116
MD5sum: d70892c341bf9bae2f2690a3ccd93bf9
SHA1: ba73be6fd294fb2a5f51b8e5059786d9b8fa8965
SHA256: 1d6087c37f553b4855cd6b9253d57dbda7aaa9abfa080929de340a7b417de15b
Description: generic interface for proof assistants - Minlog support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral-minlog
Priority: optional
Section: editors
Installed-Size: 96
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: mzscheme (>= 300) | guile-1.8 | guile, proofgeneral
Recommends: minlog
Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3_all.deb
Size: 19598
MD5sum: da72effe1c91be608aa71f9b61decef0
SHA1: 7385987d2b1b23ba10d3d204b6fca7f6589620fb
SHA256: 356814e791110c74d13d7d1123bd15a91e14772e38ed1295c599070e1fc1b73d
Description: generic interface for proof assistants - Minlog support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral-misc
Priority: optional
Section: editors
Installed-Size: 732
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral
Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3.1_all.deb
Size: 141744
MD5sum: c585df910aef6b9c8f8e8eaf45654b8f
SHA1: 8a18b45f4926a5c6752d9676e9b2b8c8d1035158
SHA256: 9ec73f96f55315e4268dae05ab1370c3141bee92c38460875cf88392633da915
Description: generic interface for proof assistants - theorem provers support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-misc
Priority: optional
Section: editors
Installed-Size: 732
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: proofgeneral
Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3_all.deb
Size: 141588
MD5sum: 46e0b8972f93c78a94f4908e76210fe2
SHA1: 5352ae9ec81fba7e94f31a0422bf09ec5d13ba59
SHA256: dc4d431ecaa7e71c357d2a856f15dd9a17bb1287c34a3acbabd2d343be613bf0
Description: generic interface for proof assistants - theorem provers support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-doc
Priority: optional
Section: doc
Installed-Size: 560
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3.1_all.deb
Size: 90776
MD5sum: 0d58904c78bdcfd540094e59599e7c80
SHA1: fc3eb68796114132ae6197ef3ee19c1105ad74df
SHA256: 57fa3f13308600ff4639232744cd846a59feaf4f6ad7f92e41b63a20a7dc15d3
Description: generic interface for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
Package: proofgeneral-doc
Priority: optional
Section: doc
Installed-Size: 568
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3_all.deb
Size: 90102
MD5sum: 1d0af303efb9c26502548e94a5a82f26
SHA1: 032d1b394fd4d58f7b416c03e1680d28f6e47992
SHA256: 8553d4303cdfcef9de953a79dbe034e70e212522df2a0b8784ae659461aa8b0e
Description: generic interface for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
Package: proofgeneral
Priority: optional
Section: editors
Installed-Size: 1696
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Version: 3.7-3.1
Depends: debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info
Recommends: proofgeneral-misc | proofgeneral-coq
Suggests: x-symbol
Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3.1_all.deb
Size: 482460
MD5sum: 613486cb58febb8c7715cc913281e1c2
SHA1: a79277bf211e50a155cef7a5e21df01b0f63657c
SHA256: 1291574d1d9c279c9391c11a37428f3e724d0cd9a29005425d4ef892565214b8
Description: generic interface for proof assistants - common package
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral
Priority: optional
Section: editors
Installed-Size: 1696
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Version: 3.7-3
Depends: debconf | debconf-2.0, emacs22 | emacsen
Recommends: proofgeneral-misc | proofgeneral-coq
Suggests: x-symbol
Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3_all.deb
Size: 483224
MD5sum: 49a2e10a446833ed61ce41beec5cb5a0
SHA1: 9f4c78221c54a9c438bcf764b495ca216e2a844d
SHA256: 34725ef0d98367b953bf9af56f5373b826c566e7d80683e73060384415c67571
Description: generic interface for proof assistants - common package
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-coq
Priority: optional
Section: editors
Installed-Size: 336
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral
Recommends: coq
Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3.1_all.deb
Size: 72356
MD5sum: 0527e42537c1cb4378f9dfaff00a1d5c
SHA1: 43d7bec4feee4b3a968379ed9aee1f657697df69
SHA256: 804e325b01786208affe0e72113e319a51567ab5f286ee5937ebd7fe1ac1e6b2
Description: generic interface for proof assistants - coq support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-coq
Priority: optional
Section: editors
Installed-Size: 336
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: proofgeneral
Recommends: coq
Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3_all.deb
Size: 71722
MD5sum: 00f974465c7337fd8c5bdfb832ef6bb6
SHA1: 2478b6ab1f3e75beec7998822239e450b1cdbc3b
SHA256: 7e9a4e50f93314f50dcc199ca55c85475d7f8a1f8c1dd96c0e707dc02124dd81
Description: generic interface for proof assistants - coq support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-minlog
Priority: optional
Section: editors
Installed-Size: 96
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
Recommends: minlog
Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3.1_all.deb
Size: 20116
MD5sum: d70892c341bf9bae2f2690a3ccd93bf9
SHA1: ba73be6fd294fb2a5f51b8e5059786d9b8fa8965
SHA256: 1d6087c37f553b4855cd6b9253d57dbda7aaa9abfa080929de340a7b417de15b
Description: generic interface for proof assistants - Minlog support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral-minlog
Priority: optional
Section: editors
Installed-Size: 96
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: mzscheme (>= 300) | guile-1.8 | guile, proofgeneral
Recommends: minlog
Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3_all.deb
Size: 19598
MD5sum: da72effe1c91be608aa71f9b61decef0
SHA1: 7385987d2b1b23ba10d3d204b6fca7f6589620fb
SHA256: 356814e791110c74d13d7d1123bd15a91e14772e38ed1295c599070e1fc1b73d
Description: generic interface for proof assistants - Minlog support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral-misc
Priority: optional
Section: editors
Installed-Size: 732
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Depends: proofgeneral
Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3.1_all.deb
Size: 141744
MD5sum: c585df910aef6b9c8f8e8eaf45654b8f
SHA1: 8a18b45f4926a5c6752d9676e9b2b8c8d1035158
SHA256: 9ec73f96f55315e4268dae05ab1370c3141bee92c38460875cf88392633da915
Description: generic interface for proof assistants - theorem provers support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-misc
Priority: optional
Section: editors
Installed-Size: 732
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Depends: proofgeneral
Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3_all.deb
Size: 141588
MD5sum: 46e0b8972f93c78a94f4908e76210fe2
SHA1: 5352ae9ec81fba7e94f31a0422bf09ec5d13ba59
SHA256: dc4d431ecaa7e71c357d2a856f15dd9a17bb1287c34a3acbabd2d343be613bf0
Description: generic interface for proof assistants - theorem provers support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
Package: proofgeneral-doc
Priority: optional
Section: doc
Installed-Size: 560
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3.1
Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3.1_all.deb
Size: 90776
MD5sum: 0d58904c78bdcfd540094e59599e7c80
SHA1: fc3eb68796114132ae6197ef3ee19c1105ad74df
SHA256: 57fa3f13308600ff4639232744cd846a59feaf4f6ad7f92e41b63a20a7dc15d3
Description: generic interface for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
Package: proofgeneral-doc
Priority: optional
Section: doc
Installed-Size: 568
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Source: proofgeneral
Version: 3.7-3
Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3_all.deb
Size: 90102
MD5sum: 1d0af303efb9c26502548e94a5a82f26
SHA1: 032d1b394fd4d58f7b416c03e1680d28f6e47992
SHA256: 8553d4303cdfcef9de953a79dbe034e70e212522df2a0b8784ae659461aa8b0e
Description: generic interface for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
Homepage: http://proofgeneral.inf.ed.ac.uk
Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
Reply to: