User contributions for Ivaylo Dobrikov

16 February 2016

• 14:4914:49, 16 February 2016 diff hist 0‎ File:EnablingAnalysisMenu.png ‎ Ivaylo Dobrikov uploaded a new version of File:EnablingAnalysisMenu.png
• 14:4414:44, 16 February 2016 diff hist 0‎ N File:EnablingAnalysisMenu.png ‎No edit summary
• 14:4414:44, 16 February 2016 diff hist +37‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
• 09:4409:44, 16 February 2016 diff hist −24‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations

15 February 2016

• 17:1217:12, 15 February 2016 diff hist −29‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations

12 February 2016

• 15:5915:59, 12 February 2016 diff hist +33‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 15:5515:55, 12 February 2016 diff hist +2‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
• 13:3813:38, 12 February 2016 diff hist +1,857‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB

11 February 2016

• 18:4718:47, 11 February 2016 diff hist −8‎ Tutorial Enabling Analysis ‎ →‎Enabling Relations
• 16:0716:07, 11 February 2016 diff hist +1‎ Tutorial Enabling Analysis ‎No edit summary
• 15:5915:59, 11 February 2016 diff hist +15‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
• 15:5815:58, 11 February 2016 diff hist +262‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
• 15:4815:48, 11 February 2016 diff hist +1,543‎ Tutorial Enabling Analysis ‎ →‎Performing Enabling Analysis within ProB
• 15:3615:36, 11 February 2016 diff hist +2‎ Tutorial Enabling Analysis ‎ →‎Computing Enabling Relations with ProB
• 15:3615:36, 11 February 2016 diff hist +1,863‎ Tutorial Enabling Analysis ‎No edit summary
• 14:5514:55, 11 February 2016 diff hist −1,682‎ Tutorial Enabling Analysis ‎No edit summary
• 14:5414:54, 11 February 2016 diff hist 0‎ N File:EnablingResults.png ‎No edit summary current
• 14:4014:40, 11 February 2016 diff hist 0‎ N File:ImpossibleDisableExample.png ‎No edit summary current
• 14:3814:38, 11 February 2016 diff hist 0‎ N File:ToggleExample.png ‎No edit summary current
• 14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticUnchangedExample.png ‎No edit summary current
• 14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticIndependentExample.png ‎No edit summary current
• 14:3814:38, 11 February 2016 diff hist 0‎ N File:SyntacticFullyIndependentExample.png ‎No edit summary current
• 14:3714:37, 11 February 2016 diff hist 0‎ N File:PossibleExample.png ‎No edit summary current
• 14:3714:37, 11 February 2016 diff hist 0‎ N File:PossibleEnableExample.png ‎No edit summary current
• 14:3614:36, 11 February 2016 diff hist 0‎ N File:PossibleDisableExample.png ‎No edit summary current
• 14:3614:36, 11 February 2016 diff hist 0‎ N File:KeepExample.png ‎No edit summary current
• 14:3614:36, 11 February 2016 diff hist 0‎ N File:InfeasibleExample.png ‎No edit summary current
• 14:3514:35, 11 February 2016 diff hist 0‎ N File:ImpossibleKeepExample.png ‎No edit summary current
• 14:3514:35, 11 February 2016 diff hist 0‎ N File:ImpossibleExample.png ‎No edit summary current
• 14:3414:34, 11 February 2016 diff hist 0‎ N File:GuaranteedKeepExample.png ‎No edit summary current
• 14:3414:34, 11 February 2016 diff hist 0‎ N File:GuaranteedExample.png ‎No edit summary current
• 14:3314:33, 11 February 2016 diff hist 0‎ N File:GuaranteedEnableExample.png ‎No edit summary current
• 13:2813:28, 11 February 2016 diff hist +73‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 13:2313:23, 11 February 2016 diff hist +93‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 13:1713:17, 11 February 2016 diff hist +1,500‎ Tutorial Enabling Analysis ‎ →‎Summary of the Enabling Relations
• 12:5912:59, 11 February 2016 diff hist +341‎ Tutorial Enabling Analysis ‎No edit summary
• 10:4210:42, 11 February 2016 diff hist −1‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3810:38, 11 February 2016 diff hist +24‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3710:37, 11 February 2016 diff hist 0‎ N File:GuaranteedRelationEn.png ‎No edit summary current
• 10:3610:36, 11 February 2016 diff hist 0‎ N File:ImpossibleRelationEn.png ‎No edit summary current
• 10:3510:35, 11 February 2016 diff hist +4‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 10:3510:35, 11 February 2016 diff hist +89‎ Tutorial Enabling Analysis ‎No edit summary
• 10:3410:34, 11 February 2016 diff hist 0‎ File:GuaranteedRelation.png ‎ Ivaylo Dobrikov uploaded a new version of File:GuaranteedRelation.png current
• 10:3310:33, 11 February 2016 diff hist 0‎ File:GuaranteedRelation.png ‎ Ivaylo Dobrikov uploaded a new version of File:GuaranteedRelation.png

10 February 2016

• 15:3315:33, 10 February 2016 diff hist 0‎ Tutorial Enabling Analysis ‎No edit summary
• 15:3315:33, 10 February 2016 diff hist 0‎ Tutorial Enabling Analysis ‎No edit summary
• 15:3215:32, 10 February 2016 diff hist +6‎ Tutorial Enabling Analysis ‎No edit summary
• 15:1115:11, 10 February 2016 diff hist −10‎ Tutorial Enabling Analysis ‎ →‎Enabling Relation
• 15:1115:11, 10 February 2016 diff hist −12‎ Tutorial Enabling Analysis ‎No edit summary
• 15:1115:11, 10 February 2016 diff hist −3‎ Tutorial Enabling Analysis ‎No edit summary