Filewatcher File Search File Search
Catalog
Content Search
» » » » »

proofgeneral

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:
Package version:3.7-4
Architecture:all
Distribution:Debian
Filename:proofgeneral_3.7-4_all.deb

/usr/share/doc/proofgeneral/README

	    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).   


See
    INSTALL	   for installation details.
    COPYING	   for license details.
 
more»

/usr/share/doc/proofgeneral/README.Debian

Proof General for Debian
========================

Notes:
------
 
 * 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
more»

/usr/share/emacs/site-lisp/proofgeneral/generic/README.generic

Proof General

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 
more»

/usr/share/emacs/site-lisp/proofgeneral/images/README.images

README,v 9.0 2008/01/30 15:22:17 da Exp

Icons for Proof General.

The images in this directory were
more»

/usr/share/emacs/site-lisp/proofgeneral/lib/README.lib

This directory contains general library lisp files.  

Some of these have been developed as part of 
more»

/usr/share/doc/proofgeneral/FAQ.gz

FAQs for using Proof General 
============================

With thanks to the anonymous authors of 
more»

/usr/share/man/man1/proofgeneral.1.gz

PROOFGENERAL(1)                                      PROOFGENERAL(1)



NAME
       proofgeneral - a
more»

/usr/share/doc/proofgeneral/changelog.Debian.gz

proofgeneral (3.7-4) unstable; urgency=low

  * QA upload
  * Use Debian QQA as maintainer. Closes: 
more»

Browse inside proofgeneral_3.7-4_all.deb

         [DIR]DEBIAN/ (7)  65535+ mirrors
         [DIR]etc/ (1)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download proofgeneral_3.7-4_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com