[ddp] proofgeneral-minlog : generic interface for proof assistants - Minlog support

[daily-debian-package at enix.org]

Hello,

Today, I'm happy to present you the Debian package proofgeneral-minlog,
which is part of the editors section, and maintained by Stefan
Schimanski <schimmi at debian.org>. 

This package contains : 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.


Package homepage     :
 http://packages.debian.org/unstable/editors/proofgeneral-minlog

Package bug homepage :
 http://bugs.debian.org/proofgeneral-minlog

Package QA homepage  :
 http://packages.qa.debian.org/proofgeneral-minlog

Have fun with Debian packages !

-- 
Daily Debian package, by Thomas Petazzoni, thanks to Jérome Petazzoni
Daily-debian-package at the-doors.enix.org
http://the-doors.enix.org/cgi-bin/mailman/listinfo/daily-debian-package
http://thomas.enix.org/DebianPackageDay