Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

prooftree-0.13-26.fc39 RPM for ppc64le

From Fedora 39 for ppc64le / p

Name: prooftree Distribution: Fedora Project
Version: 0.13 Vendor: Fedora Project
Release: 26.fc39 Build date: Fri Jul 21 08:28:25 2023
Group: Unspecified Build host: buildvm-ppc64le-22.iad2.fedoraproject.org
Size: 12833291 Source RPM: prooftree-0.13-26.fc39.src.rpm
Packager: Fedora Project
Url: https://askra.de/software/prooftree/
Summary: Proof tree visualization for Proof General
 
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.

Provides

Requires

License

GPL-3.0-or-later

Changelog

* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-26
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-25
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.13-24
  - OCaml 5.0.0 rebuild
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-23
  - Rebuild OCaml packages for F38
* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Dec 12 2022 Jerry James <loganjerry@gmail.com> - 0.13-21
  - Convert License tag to SPDX
* 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

Files

/usr/bin/prooftree
/usr/share/doc/prooftree
/usr/share/doc/prooftree/ChangeLog
/usr/share/doc/prooftree/README
/usr/share/licenses/prooftree
/usr/share/licenses/prooftree/COPYING
/usr/share/man/man1/prooftree.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 17:08:45 2025