rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
13 commits 27 branches 26 tags 396 KiB
Find a file
Exact
David A. Wheeler 31c88ec25f Update to version 2.26
2010-10-11 13:39:21 -04:00
.gitignore Update to version 2.26 2010-10-11 13:39:21 -04:00
caduceus.ps - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
div.pvs Update to version 2.26 2010-10-11 13:39:21 -04:00
gwhy-2.26.patch Update to version 2.26 2010-10-11 13:39:21 -04:00
gwhy-icon.png Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
gwhy.desktop Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
jessie.desktop Update to version 2.26 2010-10-11 13:39:21 -04:00
min.mlw Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
min_why.why.result - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
patch_jessie_pvs Update to version 2.26 2010-10-11 13:39:21 -04:00
README.why Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
README.why-coq.Fedora Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
README.why-gwhy.Fedora Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
rem.pvs Update to version 2.26 2010-10-11 13:39:21 -04:00
sources Update to version 2.26 2010-10-11 13:39:21 -04:00
why-2.26-Makefile.in.patch Update to version 2.26 2010-10-11 13:39:21 -04:00
why.spec Update to version 2.26 2010-10-11 13:39:21 -04:00

README.why-gwhy.Fedora 

Fedora why-gwhy package:

Contains the gwhy GUI for Why.

Run gwhy with "gwhy <filename>". (If you forget and run without a
filename you'll be prompted for it.)