Ubuntu
proofgeneral package

proofgeneral 4.3~pre130510-1 source package in Ubuntu

Changelog

proofgeneral (4.3~pre130510-1) unstable; urgency=low


  * New upstream release (Closes: #707331)
  * improve watch file (thanks to Bart Martens for the uversionmangle hint)
  * add new patch to install coq example and add hint in tutorial 
    (Closes: #687977) 
  * add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1
  * add new patch pg-image-bug to rename ProofGeneral.jpg
  * permit emacs24
  * update README.Debian
  * bump standards version to 3.9.4
  * debhelper compat level 9

 -- Hendrik Tews <email address hidden>  Wed, 15 May 2013 17:11:19 +0200

Upload details

Uploaded by:
Hendrik Tews
Uploaded to:
Sid
Original maintainer:
Hendrik Tews
Architectures:
all
Section:
editors
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Saucy: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
proofgeneral_4.3~pre130510-1.dsc 2.0 KiB 1937f5d1d3870fa86c5aa295e0dab6a6362a0295ed3d0015a6b7fead547c44bb
proofgeneral_4.3~pre130510.orig.tar.gz 1023.1 KiB 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e
proofgeneral_4.3~pre130510-1.debian.tar.gz 20.3 KiB 9d5a7cc4407a95e7b7eac3506872a0528bbbba97ab18f18d867b484784fec8db

Available diffs

No changes file available.

Binary packages built by this source

proofgeneral: generic frontend for proof assistants

 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.
 .
 This package provides Proof General support for Coq. (There is no
 other proof assistant that one could sensibly support.)

proofgeneral-doc: generic frontend for proof assistants - documentation

 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.
 .
 This package provides the Proof General user manual in info, html and
 pdf form.