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.
Proof General --- Organize your proofs!
Proof General is a generic Emacs interface for proof assistants.
The aim of the Proof General project is to provide a powerful, generic
environment for using interactive proof assistants.
This is version 3.7 of Proof General.
(see About screen for exact version).
INSTALL for installation details.
COPYING for license details.
Proof General for Debian
* Currently the .el files are not compiled during installation because
this is not supported by Proof General currently.
* If you choose to load Proof General automatically, now you have to start
it by calling the proofgeneral command in Emacs, e.g. by
M-x proofgeneral. Before it was loaded automatically, i.e. all the fi
The code in this directory implements the generic basis
of Proof General.
It was written by Thomas Kleymann, Dilip Sequeira, Healfdene Goguen,
David Aspinall, and Markus Wenzel.
Several other people helped with contributions and modifications, see
individual credits in the code or summary in the Proof General manual.
Contributions to the generic basis are welcome!
README,v 9.0 2008/01/30 15:22:17 da Exp
Icons for Proof General.
The images in this directory were
This directory contains general library lisp files.
Some of these have been developed as part of
FAQs for using Proof General
With thanks to the anonymous authors of
proofgeneral - a
proofgeneral (3.7-4) unstable; urgency=low
* QA upload
* Use Debian QQA as maintainer. Closes:
Browse inside proofgeneral_3.7-4_all.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com