SIGs/FormalMethods: Revision history

27 December 2018

• curprev 03:4903:49, 27 December 2018‎ Carlwgeorge talk contribs‎ m 5,913 bytes 0‎ Carlwgeorge moved page FormalMethods to SIGs/FormalMethods: organize under SIGs section

24 October 2015

• curprev 11:0211:02, 24 October 2015‎ Hquilo talk contribs‎ 5,913 bytes 0‎ →‎Members
• curprev 11:0211:02, 24 October 2015‎ Hquilo talk contribs‎ 5,913 bytes 0‎ →‎Members
• curprev 11:0111:01, 24 October 2015‎ Hquilo talk contribs‎ 5,913 bytes +31‎ →‎Members

29 October 2012

• curprev 06:2206:22, 29 October 2012‎ Jcp talk contribs‎ 5,882 bytes +758‎ General clean-up. Removed outdated references to efforts that have since been completed (e.g. packaging Frama-C).

27 September 2012

• curprev 20:1620:16, 27 September 2012‎ Borgan talk contribs‎ 5,124 bytes +30‎ No edit summary

6 July 2012

• curprev 17:1317:13, 6 July 2012‎ Andrewj talk contribs‎ 5,094 bytes +35‎ Registering an interest to be involved

30 April 2012

• curprev 00:5500:55, 30 April 2012‎ Jcp talk contribs‎ 5,059 bytes +31‎ →‎Members: Added my name (user jcp) to list of other members

7 July 2011

• curprev 18:2918:29, 7 July 2011‎ Ifkaluva talk contribs‎ 5,028 bytes +35‎ No edit summary

12 June 2010

• curprev 22:1322:13, 12 June 2010‎ Rlandmann talk contribs‎ 4,993 bytes +59‎ No edit summary

22 January 2010

• curprev 12:5712:57, 22 January 2010‎ Dwheeler talk contribs‎ 4,934 bytes +69‎ →‎Spin

20 January 2010

• curprev 15:3915:39, 20 January 2010‎ Dwheeler talk contribs‎ 4,865 bytes +97‎ Move info to new page
• curprev 15:0415:04, 20 January 2010‎ Dwheeler talk contribs‎ 4,768 bytes +51‎ Move "Recently completed" to bottom; it's not really a "task to do"
• curprev 14:5914:59, 20 January 2010‎ Dwheeler talk contribs‎ 4,717 bytes +265‎ Add reference to new page on suite; reorg

19 January 2010

• curprev 17:5317:53, 19 January 2010‎ Dwheeler talk contribs‎ 4,452 bytes +41‎ →‎Ongoing
• curprev 01:3001:30, 19 January 2010‎ Dwheeler talk contribs‎ 4,411 bytes +37‎ →‎Ongoing

18 January 2010

• curprev 15:1915:19, 18 January 2010‎ Agoode talk contribs‎ 4,374 bytes +29‎ →‎Members

17 January 2010

• curprev 00:3800:38, 17 January 2010‎ Dwheeler talk contribs‎ 4,345 bytes +99‎ →‎Ongoing: Add BLAST

15 January 2010

• curprev 16:3516:35, 15 January 2010‎ Mnagy talk contribs‎ 4,246 bytes +29‎ No edit summary
• curprev 12:0812:08, 15 January 2010‎ Tcolles talk contribs‎ 4,217 bytes +30‎ No edit summary

14 January 2010

• curprev 16:5416:54, 14 January 2010‎ Dwheeler talk contribs‎ 4,187 bytes +1‎ →‎What are Formal Methods?
• curprev 16:4516:45, 14 January 2010‎ Dwheeler talk contribs‎ 4,186 bytes +146‎ →‎Fedora Features
• curprev 16:4416:44, 14 January 2010‎ Dwheeler talk contribs‎ 4,040 bytes +28‎ Note that this is also a Packaging SIG
• curprev 16:1316:13, 14 January 2010‎ Dwheeler talk contribs‎ 4,012 bytes +166‎ →‎Yum group
• curprev 16:0716:07, 14 January 2010‎ Dwheeler talk contribs‎ 3,846 bytes +177‎ Add "Fedora Features" heading

13 January 2010

• curprev 16:5716:57, 13 January 2010‎ Dwheeler talk contribs‎ 3,669 bytes +11‎ Add tex-zfuzz. Now have a reasonable starter list for "Formal methods" yum group
• curprev 16:5516:55, 13 January 2010‎ Dwheeler talk contribs‎ 3,658 bytes +21‎ →‎Yum group
• curprev 16:5316:53, 13 January 2010‎ Dwheeler talk contribs‎ 3,637 bytes +33‎ →‎Top to-dos
• curprev 16:5216:52, 13 January 2010‎ Dwheeler talk contribs‎ 3,604 bytes +403‎ Start listing fedora packages
• curprev 16:4516:45, 13 January 2010‎ Dwheeler talk contribs‎ 3,201 bytes +166‎ →‎Top to-dos
• curprev 14:5814:58, 13 January 2010‎ Dwheeler talk contribs‎ 3,035 bytes +107‎ →‎Communication
• curprev 14:5614:56, 13 January 2010‎ Dwheeler talk contribs‎ 2,928 bytes +237‎ →‎Communication
• curprev 14:4814:48, 13 January 2010‎ Dwheeler talk contribs‎ 2,691 bytes +113‎ →‎Tasks

12 January 2010

• curprev 14:1614:16, 12 January 2010‎ Rjones talk contribs‎ 2,578 bytes +32‎ →‎Members

11 January 2010

• curprev 23:0623:06, 11 January 2010‎ Dwheeler talk contribs‎ 2,546 bytes +30‎ Fix link for Alan Dunn
• curprev 23:0323:03, 11 January 2010‎ Dwheeler talk contribs‎ 2,516 bytes +181‎ →‎Tasks
• curprev 18:4918:49, 11 January 2010‎ Grue talk contribs‎ 2,335 bytes +27‎ No edit summary
• curprev 17:4917:49, 11 January 2010‎ Dwheeler talk contribs‎ 2,308 bytes +396‎ →‎Tasks
• curprev 17:4617:46, 11 January 2010‎ Dwheeler talk contribs‎ 1,912 bytes +22‎ →‎Goal and Scope: Separate reference to Mission Statement and Plan
• curprev 17:4417:44, 11 January 2010‎ Dwheeler talk contribs‎ 1,890 bytes +84‎ →‎Tasks: Link to JJames' page
• curprev 17:4217:42, 11 January 2010‎ Dwheeler talk contribs‎ 1,806 bytes +15‎ →‎Members: Add missing User: prefix
• curprev 17:4117:41, 11 January 2010‎ Dwheeler talk contribs‎ 1,791 bytes 0‎ →‎Members: Fix caps in usernames
• curprev 17:3417:34, 11 January 2010‎ Dwheeler talk contribs‎ 1,791 bytes +1,791‎ Create initial version