User contributions for Yumiko Takahashi

11 October 2017

• 07:4907:49, 11 October 2017 diff hist +2‎ m Verification View ‎ →‎Modelchecking current
• 07:1807:18, 11 October 2017 diff hist 0‎ File:Statistics.png ‎ Yumiko Takahashi uploaded a new version of File:Statistics.png current
• 07:1407:14, 11 October 2017 diff hist +26‎ Verification View ‎ →‎Constraint Based Checking
• 07:1307:13, 11 October 2017 diff hist 0‎ N File:Add CBC.png ‎No edit summary current
• 07:1007:10, 11 October 2017 diff hist 0‎ File:CBC.png ‎ Yumiko Takahashi uploaded a new version of File:CBC.png current
• 07:1007:10, 11 October 2017 diff hist 0‎ File:LTL.png ‎ Yumiko Takahashi uploaded a new version of File:LTL.png current
• 07:0907:09, 11 October 2017 diff hist 0‎ File:Modelchecking Stage.png ‎ Yumiko Takahashi uploaded a new version of File:Modelchecking Stage.png current
• 07:0907:09, 11 October 2017 diff hist 0‎ File:Modelchecking.png ‎ Yumiko Takahashi uploaded a new version of File:Modelchecking.png current
• 06:4906:49, 11 October 2017 diff hist 0‎ File:Runconfigurations Tab.png ‎ Yumiko Takahashi uploaded a new version of File:Runconfigurations Tab.png current
• 06:4806:48, 11 October 2017 diff hist 0‎ File:Add Preference.png ‎ Yumiko Takahashi uploaded a new version of File:Add Preference.png current
• 06:4806:48, 11 October 2017 diff hist 0‎ File:Preferences Tab.png ‎ Yumiko Takahashi uploaded a new version of File:Preferences Tab.png current
• 06:4706:47, 11 October 2017 diff hist 0‎ File:Verifications Tab.png ‎ Yumiko Takahashi uploaded a new version of File:Verifications Tab.png current
• 06:4606:46, 11 October 2017 diff hist 0‎ File:Machines Tab.png ‎ Yumiko Takahashi uploaded a new version of File:Machines Tab.png current
• 06:4506:45, 11 October 2017 diff hist 0‎ File:Project Tab.png ‎ Yumiko Takahashi uploaded a new version of File:Project Tab.png current
• 06:3506:35, 11 October 2017 diff hist +251‎ Verification View ‎No edit summary
• 06:2506:25, 11 October 2017 diff hist +115‎ History View ‎No edit summary current
• 06:2006:20, 11 October 2017 diff hist 0‎ File:History.png ‎ Yumiko Takahashi uploaded a new version of File:History.png current

4 October 2017

• 09:2909:29, 4 October 2017 diff hist −19‎ ProB2-UI ‎No edit summary
• 09:2709:27, 4 October 2017 diff hist +1,376‎ ProB2-UI ‎ →‎The Submenus
• 08:5708:57, 4 October 2017 diff hist 0‎ N File:Help.png ‎No edit summary current