Package: proofgeneral-minlog (3.5-4.1)

Links for proofgeneral-minlog

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

Stefan Schimanski (QA Page)

Similar packages:

ProofGeneral support for Minlog

This package provides the Proof General support for the Minlog theorem prover which is available as another package. Though it is not required to just edit Minlog files.

Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh.

Other Packages Related to proofgeneral-minlog

depends

recommends

suggests

dep: mzscheme

PLT Scheme Interpreter

or guile

virtual package provided by guile-1.6, guile-1.8
dep: proofgeneral

A generic interface for proof assistants

rec: minlog

Package not available

Download proofgeneral-minlog

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha	16.7 kB	96 kB	[list of files]
amd64	16.6 kB	96 kB	[list of files]
hppa	16.8 kB	96 kB	[list of files]
i386	16.6 kB	48 kB	[list of files]
mips	16.7 kB	96 kB	[list of files]
mipsel	16.7 kB	96 kB	[list of files]
powerpc	16.6 kB	96 kB	[list of files]
sparc	16.5 kB	96 kB	[list of files]