Recent changes

Track the most recent changes to the wiki on this page.

Recent changes options
Legend:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 05:40, 26 September 2017
   

20 September 2017

N    10:24  Statistics View‎ (diff | hist) . . (+203). . Yumiko Takahashi (talk | contribs) (Created page with "The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional sta...")
N    10:15  Verification View‎ (diff | hist) . . (+214). . Yumiko Takahashi (talk | contribs) (Created page with "The Verification View provides 3 different methods to test a machine: *Modelchecking *LTL Verifications and *Constraint Based Checking In each tab you can add multiple tests t...")
N    10:04  Project View‎ (diff | hist) . . (+489). . Yumiko Takahashi (talk | contribs) (Created page with "If no machine or no project has been opened, the Project View will allow you to create a project. If you choose to open a machine without having a project, a default project w...")
N    09:44  History View‎‎ (2 changes | history) . . (+373). . [Yumiko Takahashi‎ (2×)]
      09:44 (cur | prev) . . (-37). . Yumiko Takahashi (talk | contribs) (The ProB2 JavaFX History View)
N     09:42 (cur | prev) . . (+410). . Yumiko Takahashi (talk | contribs) (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...")