Yirmibir / proofgeneral-doc

generic frontend for proof assistants - documentation

•     Hendrik Tews
•     hendrik@askra.de
•     https://proofgeneral.github.io/
•     4.4.1~pre170114-1.2
•     proofgeneral-doc_4.4.1~pre170114-1.2_all.deb
•     665.8 KiB
•     doc
•     all
•      proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
            proofgeneral_4.4.1~pre170114-1.2.dsc
            proofgeneral_4.4.1~pre170114.orig.tar.xz
•     Debian Versiyonu: 4.4.1~pre170114-1.2
•     generic frontend for proof assistants - documentation

Diğer Pardus sürümlerindeki versiyonlar