Yirmibir / prooftree

proof-tree visualization for Proof General

•     Debian OCaml Maintainers
•     [email protected]
•     http://askra.de/software/prooftree
•     0.13-2+b1
•     prooftree_0.13-2+b1_amd64.deb
•     1.0 MiB
•     science
•     amd64
•      prooftree_0.13-2.debian.tar.xz
            prooftree_0.13-2.dsc
            prooftree_0.13.orig.tar.gz
•     Debian Versiyonu: 0.13-2+b1
•     proof-tree visualization for Proof General

Diğer Pardus sürümlerindeki versiyonlar