From Fedora Project Wiki
23 November 2016
- 04:5004:50, 23 November 2016 diff hist +54 User:Jcp No edit summary current
25 November 2014
- 06:3406:34, 25 November 2014 diff hist +408 m SIGs/AmateurRadio/Packages →Added entry for WSPR-X package
4 November 2014
- 21:3421:34, 4 November 2014 diff hist +341 m SIGs/AmateurRadio/Packages →Added entries to wish list for Ghpsdr3 and QUISK
30 September 2014
- 17:1517:15, 30 September 2014 diff hist +42 AmateurRadio Added myself to the list of Amateur Radio SIG members
28 January 2013
- 23:5223:52, 28 January 2013 diff hist +246 m Formal methods tool suite Added some additional formal specification languages that might be candidates for future addition to Fedora (though many of them seem to have licensing issues that would preculde that from happening). current
1 November 2012
- 21:3721:37, 1 November 2012 diff hist −1,893 User:Jcp Added pointer to my Fedora Peole page for contact information.
29 October 2012
- 06:2206:22, 29 October 2012 diff hist +758 SIGs/FormalMethods General clean-up. Removed outdated references to efforts that have since been completed (e.g. packaging Frama-C).
- 03:3603:36, 29 October 2012 diff hist +3 m Formal methods tool suite Fixed semantic typo that the spell checker missed
22 October 2012
- 06:4406:44, 22 October 2012 diff hist +3,208 Formal methods tool suite Grouped all of the verification tools into a single category and added some basic introductory material to help those just getting started. Also performed a facelift on the catch-all "other" category.
19 October 2012
- 06:3106:31, 19 October 2012 diff hist +1,789 Formal methods tool suite A face lift for the Theorem Provers section
18 October 2012
- 06:1906:19, 18 October 2012 diff hist +1,601 Formal methods tool suite A face lift for the SMT Solver section. Reordered the SAT and SMT sections to make it easier to explain what they are.
17 October 2012
- 06:1406:14, 17 October 2012 diff hist +1,472 Formal methods tool suite →Boolean Satisfiability (SAT) Solvers
30 April 2012
- 17:5917:59, 30 April 2012 diff hist +84 m User:Jcp Fixed some grammatical errors
- 01:1701:17, 30 April 2012 diff hist +423 User:Jcp Added more basic information, and refactored things a bit,
- 00:5500:55, 30 April 2012 diff hist +31 SIGs/FormalMethods →Members: Added my name (user jcp) to list of other members
- 00:4200:42, 30 April 2012 diff hist +1,821 N User:Jcp Created page with "Welcome to all Fedora Linux enthusiasts! JCP is short for John C. Peterson. My formal academic training is in the area of Mathematics and Physics (double major, BA), Applied Ma..."