rpms/zenon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The zenon rpms
54 commits 40 branches 25 tags 157 KiB
  • Roff 58%
  • Gnuplot 42%
Find a file
Exact
Jerry James 29a519b1ea Rebuild for coq 8.7.1. 
Compile with -unsafe-string until the code can be migrated.
2018-02-12 20:12:17 -07: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.7.1. 2018-02-12 20:12:17 -07:00