User contributions for Yumiko Takahashi

4 October 2017

• 08:5708:57, 4 October 2017 diff hist 0‎ N File:View.png ‎No edit summary current
• 08:5608:56, 4 October 2017 diff hist 0‎ N File:Perspectives.png ‎No edit summary current
• 08:5608:56, 4 October 2017 diff hist 0‎ N File:Consoles.png ‎No edit summary current
• 08:5608:56, 4 October 2017 diff hist 0‎ N File:Formula.png ‎No edit summary current
• 08:5508:55, 4 October 2017 diff hist 0‎ N File:Edit.png ‎No edit summary current
• 08:5508:55, 4 October 2017 diff hist 0‎ N File:File.png ‎No edit summary current
• 08:5008:50, 4 October 2017 diff hist +195‎ ProB2-UI ‎ →‎The ProB2 JavaFX Main Menu Bar
• 08:4008:40, 4 October 2017 diff hist −348‎ ProB2-UI ‎ →‎The ProB2 JavaFX Main Menu Bar
• 07:1007:10, 4 October 2017 diff hist +444‎ Verification View ‎ →‎Modelchecking
• 06:5706:57, 4 October 2017 diff hist 0‎ N File:Modelchecking Stage.png ‎No edit summary
• 06:5606:56, 4 October 2017 diff hist 0‎ File:Modelchecking.png ‎ Yumiko Takahashi uploaded a new version of File:Modelchecking.png
• 06:5106:51, 4 October 2017 diff hist 0‎ N File:CBC.png ‎No edit summary
• 06:5106:51, 4 October 2017 diff hist 0‎ N File:LTL.png ‎No edit summary
• 06:5106:51, 4 October 2017 diff hist +101‎ Verification View ‎No edit summary
• 06:4806:48, 4 October 2017 diff hist 0‎ File:Modelchecking.png ‎ Yumiko Takahashi uploaded a new version of File:Modelchecking.png
• 06:4706:47, 4 October 2017 diff hist 0‎ File:Modelchecking.png ‎ Yumiko Takahashi uploaded a new version of File:Modelchecking.png

28 September 2017

• 10:4310:43, 28 September 2017 diff hist +314‎ Project View ‎No edit summary current
• 10:4310:43, 28 September 2017 diff hist 0‎ N File:Runconfigurations Tab.png ‎No edit summary
• 10:3510:35, 28 September 2017 diff hist +420‎ Project View ‎No edit summary
• 10:2510:25, 28 September 2017 diff hist 0‎ N File:Add Preference.png ‎No edit summary