User contributions for Yumiko Takahashi

20 September 2017

• 07:4207:42, 20 September 2017 diff hist +410‎ N History View ‎ Created page with "== The ProB2 JavaFX History View == The History View shows a list of already executed operations. The items contained in this list are linked to the State View: When selectin..."

6 September 2017

• 10:1010:10, 6 September 2017 diff hist +75‎ m ProB2-UI ‎No edit summary
• 10:0210:02, 6 September 2017 diff hist +4‎ m ProB2-UI ‎No edit summary

15 October 2015

• 11:2111:21, 15 October 2015 diff hist −3‎ The ProB Animator and Model Checker ‎ →‎Implementation
• 11:2111:21, 15 October 2015 diff hist +3‎ The ProB Animator and Model Checker ‎ →‎Implementation