User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 05:58, 21 October 2008 (diff | hist) . . (+5) . . VSTTE address check (→Jifeng He)
- 05:58, 21 October 2008 (diff | hist) . . (+5) . . VSTTE address check (→Willem Paul de Roever)
- 00:09, 5 August 2008 (diff | hist) . . (+148) . . VSTTE address check (→Willem Paul de Roever)
- 02:57, 4 August 2008 (diff | hist) . . (-16) . . VSTTE checked addresses (→Gary T. Leavens) (current)
- 02:57, 4 August 2008 (diff | hist) . . (-7,005) . . VSTTE checked addresses
- 02:47, 4 August 2008 (diff | hist) . . (-137) . . VSTTE checked addresses (→Rajeev Alur)
- 22:38, 30 July 2008 (diff | hist) . . (-4) . . VSTTE address check (→Jifeng He)
- 22:38, 30 July 2008 (diff | hist) . . (0) . . VSTTE address check (→Jifeng He)
- 22:37, 30 July 2008 (diff | hist) . . (+11) . . VSTTE address check (→Jifeng He)
- 22:36, 30 July 2008 (diff | hist) . . (+104) . . VSTTE address check (→Jifeng He)
- 16:35, 30 July 2008 (diff | hist) . . (+56) . . VSTTE address check (→Mike Hinchey)
- 14:01, 29 July 2008 (diff | hist) . . (+86) . . VSTTE address check (→Arnaud Venet)
- 04:34, 29 July 2008 (diff | hist) . . (+122) . . VSTTE address check (→Peter Schmitt)
- 07:57, 27 July 2008 (diff | hist) . . (-1) . . VSTTE address check (→Jayadev Misra)
- 07:57, 27 July 2008 (diff | hist) . . (-10) . . VSTTE address check (→Jayadev Misra)
- 07:56, 27 July 2008 (diff | hist) . . (+14) . . VSTTE address check (→Jayadev Misra)
- 07:56, 27 July 2008 (diff | hist) . . (+130) . . VSTTE address check (→Jayadev Misra)
- 21:31, 25 July 2008 (diff | hist) . . (+19) . . VSTTE address check (→Rustan Leino)
- 21:31, 25 July 2008 (diff | hist) . . (+41) . . VSTTE address check (→Rustan Leino)
- 01:07, 24 July 2008 (diff | hist) . . (+18) . . VSTTE address check (→Rajeev Alur)
- 01:06, 24 July 2008 (diff | hist) . . (+121) . . VSTTE address check (→Rajeev Alur)
- 11:29, 23 July 2008 (diff | hist) . . (+85) . . VSTTE address check (→Ramesh Bharadwaj)
- 10:04, 23 July 2008 (diff | hist) . . (+27) . . VSTTE address check (→Bertrand Meyer)
- 10:02, 23 July 2008 (diff | hist) . . (+19) . . VSTTE address check (→Helmut Veith)
- 08:23, 23 July 2008 (diff | hist) . . (+87) . . VSTTE address check (→Wolfgang Paul)
- 05:53, 23 July 2008 (diff | hist) . . (+122) . . VSTTE address check (→Helmut Veith)
- 02:25, 23 July 2008 (diff | hist) . . (+46) . . VSTTE address check (→Zhiming Liu)
- 01:51, 23 July 2008 (diff | hist) . . (+4) . . m VSTTE address check (→Peter Vincent Homeier)
- 01:51, 23 July 2008 (diff | hist) . . (-5) . . m VSTTE address check (→Peter Vincent Homeier)
- 01:44, 23 July 2008 (diff | hist) . . (+72) . . VSTTE address check (→Peter Vincent Homeier)
- 00:12, 23 July 2008 (diff | hist) . . (+108) . . VSTTE address check (→John McDermid)
- 00:11, 23 July 2008 (diff | hist) . . (+12) . . VSTTE address check (→Tamara Rezk)
- 00:10, 23 July 2008 (diff | hist) . . (+70) . . VSTTE address check (→Tamara Rezk)
- 00:10, 23 July 2008 (diff | hist) . . (+97) . . VSTTE address check (→Andy Galloway)
- 00:09, 23 July 2008 (diff | hist) . . (-97) . . VSTTE address check (→David Gill)
- 00:08, 23 July 2008 (diff | hist) . . (+98) . . VSTTE address check (→David Gill)
- 19:25, 22 July 2008 (diff | hist) . . (+62) . . VSTTE address check (→David Evans)
- 18:01, 22 July 2008 (diff | hist) . . (+18) . . VSTTE address check (→Kokichi Futatsugi)
- 18:01, 22 July 2008 (diff | hist) . . (-53) . . VSTTE address check (→Kokichi Futatsugi)
- 17:59, 22 July 2008 (diff | hist) . . (+103) . . VSTTE address check (→Kokichi Futatsugi)
- 13:09, 22 July 2008 (diff | hist) . . (+99) . . VSTTE address check (→Myla Archer)
- 12:55, 22 July 2008 (diff | hist) . . (+109) . . VSTTE address check (→Eric C. R. Hehner)
- 12:19, 22 July 2008 (diff | hist) . . (-2) . . VSTTE address check (→Patrick Cousot)
- 12:19, 22 July 2008 (diff | hist) . . (+160) . . VSTTE address check (P.Chalin's address)
- 12:07, 22 July 2008 (diff | hist) . . (-3) . . VSTTE address check (→Van Wyk Eric)
- 12:06, 22 July 2008 (diff | hist) . . (+13) . . VSTTE address check (→Graham Steel)
- 12:06, 22 July 2008 (diff | hist) . . (+17) . . VSTTE address check (→Manuel Oriol)
- 12:05, 22 July 2008 (diff | hist) . . (+1) . . VSTTE address check (→Author Hagiya's)
- 12:05, 22 July 2008 (diff | hist) . . (+82) . . VSTTE address check (→Constance Heitmeyer)
- 11:57, 22 July 2008 (diff | hist) . . (+11) . . VSTTE address check
- 11:55, 22 July 2008 (diff | hist) . . (+194) . . VSTTE address check
- 10:57, 22 July 2008 (diff | hist) . . (-1) . . VSTTE address check (→HOW TO EDIT YOUR ENTRY)
- 10:57, 22 July 2008 (diff | hist) . . (+1) . . VSTTE address check (→HOW TO EDIT YOUR ENTRY)
- 10:57, 22 July 2008 (diff | hist) . . (0) . . VSTTE address check (→HOW TO EDIT YOUR ENTRY)
- 10:57, 22 July 2008 (diff | hist) . . (+238) . . VSTTE address check (→HOW TO EDIT YOUR ENTRY)
- 10:55, 22 July 2008 (diff | hist) . . (+136) . . VSTTE address check (→Egon Börger)
- 10:54, 22 July 2008 (diff | hist) . . (+120) . . VSTTE address check (→Manfred Broy)
- 10:52, 22 July 2008 (diff | hist) . . (+19) . . VSTTE address check (→Richard Bornat)
- 10:52, 22 July 2008 (diff | hist) . . (+16) . . VSTTE address check (→Patrick Lam)
- 10:51, 22 July 2008 (diff | hist) . . (+22) . . VSTTE address check (→Daniel Kröning)
- 10:51, 22 July 2008 (diff | hist) . . (+16) . . VSTTE address check (→Carolyn Talcott)
- 10:51, 22 July 2008 (diff | hist) . . (+16) . . VSTTE address check (→Wolfram Schulte)
- 10:50, 22 July 2008 (diff | hist) . . (+14) . . VSTTE address check (→Cordell Green)
- 10:50, 22 July 2008 (diff | hist) . . (+16) . . VSTTE address check (→Alessandro Coglio)
- 10:50, 22 July 2008 (diff | hist) . . (+21) . . VSTTE address check (→Marsha Chechik)
- 10:49, 22 July 2008 (diff | hist) . . (+17) . . VSTTE address check (→Roderick Chapman)
- 10:49, 22 July 2008 (diff | hist) . . (+95) . . VSTTE address check (→Arie Gurfinkel)
- 10:49, 22 July 2008 (diff | hist) . . (-94) . . VSTTE address check (→Green Cordell)
- 10:32, 22 July 2008 (diff | hist) . . (+90) . . VSTTE address check (→David Basin)
- 10:13, 22 July 2008 (diff | hist) . . (+108) . . VSTTE address check (→Peter W. O'Hearn)
- 10:03, 22 July 2008 (diff | hist) . . (+117) . . VSTTE address check (→Gerard Holzmann)
- 09:46, 22 July 2008 (diff | hist) . . (+82) . . m VSTTE address check (→Richard Bornat)
- 07:49, 22 July 2008 (diff | hist) . . (+104) . . VSTTE address check (→Patrick Lam)
- 07:43, 22 July 2008 (diff | hist) . . (+13) . . VSTTE address check (→Anthony Hall)
- 07:43, 22 July 2008 (diff | hist) . . (+35) . . VSTTE address check (→Anthony Hall)
- 07:41, 22 July 2008 (diff | hist) . . (+114) . . VSTTE address check (→Aaron Stump)
- 06:01, 22 July 2008 (diff | hist) . . (+67) . . m VSTTE address check (→Carolyn Talcott)
- 05:22, 22 July 2008 (diff | hist) . . (+19) . . VSTTE address check (→Butler Lampson)
- 05:21, 22 July 2008 (diff | hist) . . (+43) . . VSTTE address check (→Butler Lampson)
- 04:02, 22 July 2008 (diff | hist) . . (+15) . . VSTTE address check (→Arie Gurfinkel)
- 04:02, 22 July 2008 (diff | hist) . . (+78) . . VSTTE address check (→Arie Gurfinkel)
- 04:01, 22 July 2008 (diff | hist) . . (+105) . . VSTTE address check (→Jim Woodcock)
- 03:59, 22 July 2008 (diff | hist) . . (+67) . . VSTTE address check (→Joseph Kiniry)
- 03:49, 22 July 2008 (diff | hist) . . (+143) . . VSTTE address check (→Graham Steel)
- 03:43, 22 July 2008 (diff | hist) . . (+15) . . VSTTE address check (→Thai Son Hoang)
- 03:42, 22 July 2008 (diff | hist) . . (+112) . . VSTTE address check (→Thai Son Hoang)
- 03:04, 22 July 2008 (diff | hist) . . (+4) . . VSTTE address check (→Kathi Fisler)
- 03:03, 22 July 2008 (diff | hist) . . (+88) . . VSTTE address check (→Kathi Fisler)
- 02:57, 22 July 2008 (diff | hist) . . (+33) . . VSTTE address check (→Daniel Kröning)
- 01:29, 22 July 2008 (diff | hist) . . (+119) . . VSTTE address check (→J Moore)
- 01:07, 22 July 2008 (diff | hist) . . (+71) . . VSTTE address check (→Collin O'Halloran)
- 00:36, 22 July 2008 (diff | hist) . . (+110) . . VSTTE address check (→Laurent Voisin)
- 00:33, 22 July 2008 (diff | hist) . . (+114) . . VSTTE address check (→Patrick Cousot)
- 00:09, 22 July 2008 (diff | hist) . . (+65) . . VSTTE address check (→Roderick Chapman)
- 23:50, 21 July 2008 (diff | hist) . . (+161) . . VSTTE address check (→Bart Jacobs)
- 23:24, 21 July 2008 (diff | hist) . . (-23) . . VSTTE address check (→Naijun Zhan)
- 23:15, 21 July 2008 (diff | hist) . . (+13) . . VSTTE address check (→Rajeev Joshi)
- 23:14, 21 July 2008 (diff | hist) . . (+55) . . VSTTE address check (→Rajeev Joshi)
- 23:14, 21 July 2008 (diff | hist) . . (+133) . . VSTTE address check (→Jian Zhang)
- 23:12, 21 July 2008 (diff | hist) . . (+121) . . VSTTE address check (→Michael Butler)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)