User contributions

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk desuma-wiki desuma-wiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Widget Widget talk UM UM Talk Members Members Talk Admins Admins Talk Officers Officers Talk  Deleted only

 Only show edits that are latest revisions

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 20:47, May 13, 2014 (diff | hist) UMDES Commands ‎
• 20:47, May 13, 2014 (diff | hist) UMDES Commands ‎
• 20:38, May 13, 2014 (diff | hist) UMDES Commands ‎ (→Stochastic Diagnosability)
• 20:35, May 13, 2014 (diff | hist) UMDES Commands ‎
• 20:24, May 13, 2014 (diff | hist) UMDES Commands ‎ (→Failure Diagnosis)
• 20:12, May 13, 2014 (diff | hist) UMDES Commands ‎
• 19:29, May 13, 2014 (diff | hist) UMDES Commands ‎
• 19:23, May 13, 2014 (diff | hist) UMDES Commands ‎ (→obsvr)
• 19:16, May 13, 2014 (diff | hist) UMDES Commands ‎ (→minimize_std)
• 19:16, May 13, 2014 (diff | hist) UMDES Commands ‎ (→minimize_std)
• 19:15, May 13, 2014 (diff | hist) UMDES Commands ‎ (→mark_fsm)
• 19:14, May 13, 2014 (diff | hist) UMDES Commands ‎ (→live)
• 19:13, May 13, 2014 (diff | hist) UMDES Commands ‎ (→inv_proj)
• 19:12, May 13, 2014 (diff | hist) UMDES Commands ‎ (→inv_p_L)
• 19:11, May 13, 2014 (diff | hist) UMDES Commands ‎ (→incl)
• 19:10, May 13, 2014 (diff | hist) UMDES Commands ‎ (→equiv)
• 19:08, May 13, 2014 (diff | hist) UMDES Commands ‎ (→conflict)
• 19:07, May 13, 2014 (diff | hist) UMDES Commands ‎ (→concat_ev)
• 19:06, May 13, 2014 (diff | hist) UMDES Commands ‎ (→concat)
• 19:05, May 13, 2014 (diff | hist) UMDES Commands ‎ (→comp_fsm)
• 19:03, May 13, 2014 (diff | hist) UMDES Commands ‎
• 19:03, May 13, 2014 (diff | hist) UMDES Commands ‎ (→co_acc)
• 19:02, May 13, 2014 (diff | hist) UMDES Commands ‎ (→c_par_comp)
• 19:00, May 13, 2014 (diff | hist) UMDES Commands ‎ (→change_oprop)
• 18:59, May 13, 2014 (diff | hist) UMDES Commands ‎ (→change_initial_state)
• 18:57, May 13, 2014 (diff | hist) UMDES Commands ‎ (→change_cprop)
• 18:56, May 13, 2014 (diff | hist) UMDES Commands ‎ (→change_cprop)
• 18:54, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:52, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:49, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:27, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:26, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:24, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:19, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:16, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:11, May 13, 2014 (diff | hist) UMDES Commands ‎
• 18:07, May 13, 2014 (diff | hist) DESUMA ‎
• 18:06, May 13, 2014 (diff | hist) UMDES Software Library ‎
• 17:58, May 13, 2014 (diff | hist) N Main Page ‎ (Redirected page to DESUMA) (top)
• 17:57, May 13, 2014 (diff | hist) DESUMA ‎
• 17:54, May 13, 2014 (diff | hist) m DESUMA ‎ (Reverted edits by Jdelro (talk) to last revision by Edallal)
• 17:53, May 13, 2014 (diff | hist) m DESUMA ‎ (moved Main Page to DESUMA)
• 17:52, May 13, 2014 (diff | hist) DESUMA ‎
• 17:49, May 13, 2014 (diff | hist) N DESUMA Installation Instructions ‎ (Created page with "== Requirements == :* Java Runtime Environment :** Recommended: [http://www.oracle.com/technetwork/java/javase/downloads/jre7-downloads-1880261.html Version 1.7.*] :* UMDES Exec...")
• 17:44, May 13, 2014 (diff | hist) DESUMA ‎
• 17:43, May 13, 2014 (diff | hist) DESUMA ‎
• 17:33, May 13, 2014 (diff | hist) UMDES Software Library ‎
• 17:33, May 13, 2014 (diff | hist) UMDES Software Library ‎
• 17:32, May 13, 2014 (diff | hist) UMDES Software Library ‎ (→Download)
• 17:29, May 13, 2014 (diff | hist) DESUMA ‎

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)