rpms/zenon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The zenon rpms
51 commits 40 branches 25 tags 157 KiB
  • Roff 58%
  • Gnuplot 42%
Find a file
Exact
Jerry James 644775cca8 Rebuild for coq 8.6.1.
2017-09-06 20:11:17 -06:00
.gitignore New upstream release. 2016-06-10 08:29:20 -06:00
sources New upstream release. 2016-06-10 08:29:20 -06:00
zenon-format.5 - Add documentation for Zenon and its built-in format as man pages (man 2008-07-25 19:45:12 +00:00
zenon-tptp-COM003+2.p - Initial submission 2008-07-21 16:40:45 +00:00
zenon-tptp-ReadMe - Initial submission 2008-07-21 16:40:45 +00:00
zenon.1 New upstream release. 2011-07-12 16:01:26 -06:00
zenon.spec Rebuild for coq 8.6.1. 2017-09-06 20:11:17 -06:00