User contributions for Jens Bendisposto

16 November 2009

• 15:3915:39, 16 November 2009 diff hist +19‎ User Manual ‎ →‎Content of this handbook
• 14:0214:02, 16 November 2009 diff hist −74‎ MediaWiki:Sidebar ‎No edit summary
• 14:0114:01, 16 November 2009 diff hist +25‎ N Documentation ‎ moved Documentation to User Manual current
• 14:0114:01, 16 November 2009 diff hist 0‎ m User Manual ‎ moved Documentation to User Manual
• 13:5513:55, 16 November 2009 diff hist +67‎ MediaWiki:Sidebar ‎No edit summary

9 November 2009

• 15:0815:08, 9 November 2009 diff hist +659‎ Current Limitations ‎No edit summary
• 15:0615:06, 9 November 2009 diff hist +1,434‎ N Current Limitations ‎ Created page with 'ProB requires all deferred sets to be given a finite cardinality. If no cardinality is specified a default size will be used. Also, mathematical integers will only be enumerated …'
• 15:0515:05, 9 November 2009 diff hist +17‎ User Manual ‎ →‎Content
• 15:0515:05, 9 November 2009 diff hist +41‎ User Manual ‎No edit summary
• 15:0415:04, 9 November 2009 diff hist +263‎ User Manual ‎ →‎Important notice

6 November 2009

• 14:2414:24, 6 November 2009 diff hist +259‎ N User Manual ‎ Created page with '== Important notice == If you find a problem with ProB please let us know. We are happy to receive suggestions for improvements to ProB or the documentation. You might also want…'
• 12:4912:49, 6 November 2009 diff hist +49‎ Team ‎No edit summary
• 12:4812:48, 6 November 2009 diff hist +331‎ N Team ‎ Created page with 'ProB is based in research and implemention effort by: * Michael Leuschel, * Michael Butler, * Jens Bendisposto, * Daniel Plagge, * Fabian Fritz, * Corina Spermann, * Michael Jast…'
• 12:4712:47, 6 November 2009 diff hist +56‎ MediaWiki:Sidebar ‎No edit summary
• 12:4612:46, 6 November 2009 diff hist −12‎ MediaWiki:Sidebar ‎No edit summary
• 12:4412:44, 6 November 2009 diff hist −1‎ MediaWiki:Sidebar ‎No edit summary
• 12:4312:43, 6 November 2009 diff hist −8‎ MediaWiki:Sidebar ‎No edit summary
• 12:4312:43, 6 November 2009 diff hist +14‎ MediaWiki:Sidebar ‎No edit summary
• 12:4212:42, 6 November 2009 diff hist +9‎ MediaWiki:Sidebar ‎No edit summary
• 12:4212:42, 6 November 2009 diff hist +48‎ MediaWiki:Sidebar ‎No edit summary
• 12:4112:41, 6 November 2009 diff hist +1‎ MediaWiki:Sidebar ‎No edit summary
• 12:4112:41, 6 November 2009 diff hist +43‎ MediaWiki:Sidebar ‎No edit summary
• 10:3010:30, 6 November 2009 diff hist +339‎ The ProB Animator and Model Checker ‎No edit summary
• 10:2610:26, 6 November 2009 diff hist +1‎ The ProB Animator and Model Checker ‎No edit summary
• 10:2510:25, 6 November 2009 diff hist +55‎ The ProB Animator and Model Checker ‎No edit summary
• 10:2510:25, 6 November 2009 diff hist +47‎ The ProB Animator and Model Checker ‎No edit summary
• 10:2410:24, 6 November 2009 diff hist 0‎ Formating Sandbox ‎No edit summary
• 10:2410:24, 6 November 2009 diff hist +16‎ Formating Sandbox ‎No edit summary
• 10:2310:23, 6 November 2009 diff hist +28‎ Formating Sandbox ‎No edit summary
• 10:2210:22, 6 November 2009 diff hist −1‎ Formating Sandbox ‎No edit summary
• 10:2210:22, 6 November 2009 diff hist −1‎ Formating Sandbox ‎No edit summary
• 10:2110:21, 6 November 2009 diff hist +1‎ Formating Sandbox ‎No edit summary
• 10:2110:21, 6 November 2009 diff hist +39‎ Formating Sandbox ‎No edit summary
• 10:1910:19, 6 November 2009 diff hist −149‎ Formating Sandbox ‎No edit summary
• 10:1910:19, 6 November 2009 diff hist +10‎ Formating Sandbox ‎No edit summary
• 10:1710:17, 6 November 2009 diff hist +3,251‎ Formating Sandbox ‎No edit summary
• 10:1310:13, 6 November 2009 diff hist +1,821‎ N Formating Sandbox ‎ Created page with '{ | class="MainPageBG" style="width:55%; border:1px solid #cef2e0; background:#f5fffa; vertical-align:top; color:#000;" | {| id="mp-left" style="width:100%; vertical-align:top; b…'
• 10:1210:12, 6 November 2009 diff hist +21‎ User:Jens Bendisposto ‎No edit summary
• 10:1210:12, 6 November 2009 diff hist −170‎ The ProB Animator and Model Checker ‎No edit summary
• 10:0810:08, 6 November 2009 diff hist +171‎ The ProB Animator and Model Checker ‎No edit summary
• 10:0010:00, 6 November 2009 diff hist −85‎ MediaWiki:Sidebar ‎No edit summary
• 09:5909:59, 6 November 2009 diff hist −10‎ MediaWiki:Sidebar ‎No edit summary
• 09:5909:59, 6 November 2009 diff hist +192‎ N MediaWiki:Sidebar ‎ Created page with '* navigation ** mainpage|mainpage-description ** portal-url|portal ** currentevents-url|currentevents ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|…'
• 09:3209:32, 6 November 2009 diff hist +1,114‎ The ProB Animator and Model Checker ‎No edit summary
• 09:2409:24, 6 November 2009 diff hist +192‎ The ProB Animator and Model Checker ‎No edit summary
• 09:2109:21, 6 November 2009 diff hist +37‎ The ProB Animator and Model Checker ‎No edit summary

5 November 2009

• 18:2218:22, 5 November 2009 diff hist +49‎ N Main Page ‎ moved Main Page to The ProB Animator and Model Checker current
• 18:2218:22, 5 November 2009 diff hist 0‎ m The ProB Animator and Model Checker ‎ moved Main Page to The ProB Animator and Model Checker
• 18:1618:16, 5 November 2009 diff hist −1‎ The ProB Animator and Model Checker ‎No edit summary
• 18:1618:16, 5 November 2009 diff hist +253‎ The ProB Animator and Model Checker ‎No edit summary