| Paketname | proofgeneral-doc |
| Beschreibung | generic interface for proof assistants - documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.7-3.1 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 560 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 90406 Byte |
| Prüfsumme MD5 | ee50ac72fc024a7f68d91c801030e108 |
| Prüfsumme SHA1 | 93b2508b99015667e2bb584fdd61ddfd6e561b7b |
| Prüfsumme SHA256 | 5fb53bc38820767be06dae71e4f29ad929592304cb5c5684a98a7a5af83350b7 |
| Link zum Herunterladen | proofgeneral-doc_3.7-3.1_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.
|