1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
Source: proofgeneral
Section: editors
Priority: optional
Maintainer: Stefan Schimanski <schimmi@debian.org>
Build-Depends: debhelper (>= 4.1.16), mzscheme
Standards-Version: 3.6.1.0
Package: proofgeneral
Architecture: all
Depends: debconf | debconf-2.0, emacs21 (>= 21.1.0) | xemacs21 (>= 21.1.0)
Suggests: x-symbol
Recommends: proofgeneral-misc | proofgeneral-coq
Description: A generic interface for proof assistants
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.
Package: proofgeneral-coq
Architecture: all
Depends: proofgeneral
Recommends: coq
Description: ProofGeneral support for coq
This package provides the Proof General support for the Coq
theorem prover which is available as another package. Though
it is not required to just edit Coq 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.
Package: proofgeneral-minlog
Architecture: any
Depends: proofgeneral, mzscheme | guile, ${shlibs:Depends}
Recommends: minlog
Description: 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.
Package: proofgeneral-misc
Architecture: all
Depends: proofgeneral
Description: ProofGeneral support for different theorem provers
This package provides the Proof General support for several
theorem provers which are not available as Debian packages yet.
This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO,
Phox, Plastic, Twelf
.
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.
Package: proofgeneral-doc
Architecture: all
Description: Documentation for ProofGeneral in html format
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.
.
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.
|
