From Fedora Project Wiki
3 March 2010
- 20:3620:36, 3 March 2010 diff hist +65 How to create an RPM package →Maintaining the package
- 20:0720:07, 3 March 2010 diff hist +601 How to create an RPM package →Maintaining the package
- 20:0220:02, 3 March 2010 diff hist +125 How to create an RPM package →%prep section: %patch commands
27 January 2010
- 19:5919:59, 27 January 2010 diff hist +808 How to create an RPM package Discuss when you shouldn't use the %doc prefix
- 17:5317:53, 27 January 2010 diff hist +127 How to create an RPM package →For more information: Add Cambridge presentation
26 January 2010
- 22:1422:14, 26 January 2010 diff hist +142 How to create an RPM package →Testing RPMs you've built
25 January 2010
- 01:4501:45, 25 January 2010 diff hist +383 How to create an RPM package Add notes about auto-buildrequires
22 January 2010
- 12:5712:57, 22 January 2010 diff hist +69 SIGs/FormalMethods →Spin
20 January 2010
- 15:5415:54, 20 January 2010 diff hist +80 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:5315:53, 20 January 2010 diff hist +6 Formal methods tool suite →SAT Solvers
- 15:5215:52, 20 January 2010 diff hist +76 Formal methods tool suite →SAT Solvers
- 15:4915:49, 20 January 2010 diff hist +50 Formal methods tool suite →Theorem Provers
- 15:4715:47, 20 January 2010 diff hist +20 Formal methods tool suite →Model Checkers
- 15:4615:46, 20 January 2010 diff hist +390 Formal methods tool suite →Model Checkers
- 15:4515:45, 20 January 2010 diff hist +63 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:4315:43, 20 January 2010 diff hist +119 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:4115:41, 20 January 2010 diff hist +139 Features/Formal Methods →Detailed Description: Add link to new page current
- 15:3915:39, 20 January 2010 diff hist +97 SIGs/FormalMethods Move info to new page
- 15:3615:36, 20 January 2010 diff hist +1,128 Formal methods tool suite Complete initial version
- 15:2715:27, 20 January 2010 diff hist +78 Formal methods tool suite →Formal methods tool suite