prooftree-0.13-21.fc37 | Build Info

Information for build prooftree-0.13-21.fc37

206509

Package Name

prooftree

Version

0.13

Release

21.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/prooftree.git#c61c600a00b76786f3c2b70cabe4eef9ed99f114

Summary

Proof tree visualization for Proof General

Description

Prooftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it. Prooftree uses different colors for the already proven subgoals, the current branch in the proof and the still open subgoals. Sequent texts are not displayed in the proof tree itself, but they are shown as a tool-tip when the mouse rests over a sequent symbol. Long proof commands are abbreviated in the tree display, but show up in full length as tool-tip. Both, sequents and proof commands, can be shown in the display below the tree (on single click) or in a separate window (on double or shift-click). Prooftree can mark the proof command that introduced a certain existential variable and thus help to locate the problem when Coq says: No more subgoals but non-instantiated existential variables.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Wed, 09 Nov 2022 20:02:43 UTC

Completed

Thu, 10 Nov 2022 08:56:03 UTC

Task

build (f37, /rpms/prooftree.git:c61c600a00b76786f3c2b70cabe4eef9ed99f114)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/prooftree.git#c61c600a00b76786f3c2b70cabe4eef9ed99f114'}}

Tags

f37

f38

RPMs

src
	prooftree-0.13-21.fc37.src.rpm (info) (download)
riscv64
	prooftree-0.13-21.fc37.riscv64.rpm (info) (download)
	prooftree-debuginfo-0.13-21.fc37.riscv64.rpm (info) (download)
	prooftree-debugsource-0.13-21.fc37.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.13-20 - OCaml 4.14.0 rebuild * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.13-19 - OCaml 4.13.1 rebuild to remove package notes * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.13-17 - OCaml 4.13.1 build * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jun 22 2021 Jerry James <loganjerry@gmail.com> - 0.13-15 - Rebuild for ocaml-lablgtk without gnomeui * Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 0.13-14 - OCaml 4.12.0 build * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-12 - OCaml 4.11.1 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-11 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build prooftree-0.13-21.fc37