| Paketname | proofgeneral-doc |
| Beschreibung | generic interface for proof assistants - documentation |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 3.7-4 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 560 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Debian QA Group |
| Quelle | proofgeneral |
| Paketgröße | 90200 Byte |
| Prüfsumme MD5 | 1ce32176e4d2d304e7d932f41109177c |
| Prüfsumme SHA1 | dc2b1ecbcd9d7c12b25939e1d2f7f24d40609e6e |
| Prüfsumme SHA256 | 203cc75e4b16878473fc32d7ccab4f8e90bbccc6403529e6a707c1da355d6737 |
| Link zum Herunterladen | proofgeneral-doc_3.7-4_all.deb |
| Ausführliche Beschreibung | 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.
|