Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Sebastian Krings

For Sebastian Krings talk block log uploads logs

09:1409:14, 11 September 2015 diff hist +4‎ Tutorial Unit Plugin ‎ →‎Converting between units
09:1309:13, 11 September 2015 diff hist +8‎ Tutorial Unit Plugin ‎ →‎Annotating variables and animating a machine

10:4710:47, 27 March 2015 diff hist +265‎ Sefm2015 ‎ →‎Summaries
09:5709:57, 27 March 2015 diff hist −1‎ Sefm2015 ‎No edit summary
09:5609:56, 27 March 2015 diff hist +1‎ Sefm2015 ‎ →‎= Surplus of ProB
09:5609:56, 27 March 2015 diff hist +510‎ Sefm2015 ‎No edit summary
09:5409:54, 27 March 2015 diff hist +1,749‎ Sefm2015 ‎No edit summary
09:4109:41, 27 March 2015 diff hist +1,328‎ Sefm2015 ‎No edit summary

14:2614:26, 19 February 2015 diff hist −1‎ Download ‎ →‎Prior Versions
12:3712:37, 19 February 2015 diff hist −216‎ The ProB Animator and Model Checker ‎No edit summary
12:3612:36, 19 February 2015 diff hist +251‎ Download ‎ →‎Short Release History
12:3212:32, 19 February 2015 diff hist +5‎ Download ‎ →‎Latest Release
12:3112:31, 19 February 2015 diff hist 0‎ Team ‎No edit summary
10:4510:45, 19 February 2015 diff hist +67‎ Download ‎ →‎Short Release History
10:4010:40, 19 February 2015 diff hist +136‎ Download ‎No edit summary

08:5408:54, 29 August 2014 diff hist +139‎ Download ‎No edit summary

13:3513:35, 18 August 2014 diff hist −289‎ The ProB Animator and Model Checker ‎ release prob 1.4.0
13:3313:33, 18 August 2014 diff hist −208‎ Download ‎ release prob 1.4.0

13:0013:00, 21 March 2014 diff hist +223‎ Download ‎ →‎Nightly Build

08:2308:23, 9 December 2013 diff hist +6‎ Tutorial Disprover ‎ →‎How to use it, how it works
08:2208:22, 9 December 2013 diff hist 0‎ N File:Disprover-all.png ‎No edit summary current
08:2208:22, 9 December 2013 diff hist +1,763‎ N Tutorial Disprover ‎ Created page with 'Category:User Manual == WARNING == This is work in progress! The disprover plugin is currently experimental. Please keep in mind, that you might run into some rough edges o…'
08:0908:09, 9 December 2013 diff hist +53‎ Tutorial ‎No edit summary
08:0808:08, 9 December 2013 diff hist +1,311‎ N Tutorial Symbolic Constants ‎ Created page with 'Category:User Manual == Introduction == ProB Tcl/Tk as well as the probcli command-line version are able to store units symbolic…'
08:0008:00, 9 December 2013 diff hist +69‎ Tutorial ‎No edit summary

10:0210:02, 6 March 2013 diff hist −429‎ Prolog Coding Guidelines ‎ →‎Module Information

11:0911:09, 5 February 2013 diff hist +94‎ Developer Manual ‎No edit summary

12:3312:33, 31 January 2013 diff hist +35‎ Tutorial Unit Plugin ‎No edit summary
12:3212:32, 31 January 2013 diff hist +35‎ m Tutorial Unit Plugin With Rodin ‎ add category
09:5809:58, 31 January 2013 diff hist +1,500‎ Tutorial Unit Plugin With Rodin ‎No edit summary
09:4809:48, 31 January 2013 diff hist 0‎ N File:ProBRodinStartUnitAnalysis.png ‎No edit summary current
09:4509:45, 31 January 2013 diff hist 0‎ N File:ProBRodinUnitPragmas.png ‎No edit summary current

13:3713:37, 7 January 2013 diff hist +982‎ N Tutorial Unit Plugin With Rodin ‎ Created page with 'Category:Tutorial Category:User Manual This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p…'
13:3013:30, 7 January 2013 diff hist 0‎ Tutorial ‎No edit summary
13:3013:30, 7 January 2013 diff hist +150‎ Tutorial ‎ add link to second physical units plugin tutorial

10:3810:38, 4 January 2013 diff hist +12‎ Tutorial ‎ fix link to bms tutorial

15:2015:20, 11 December 2012 diff hist +57‎ m Team ‎ add link

12:2212:22, 6 December 2012 diff hist −30‎ Tutorial Unit Plugin ‎ update to new unit format
12:2112:21, 6 December 2012 diff hist −424‎ Tutorial Unit Plugin ‎ update to new unit format

13:1013:10, 11 October 2012 diff hist +15‎ m Tutorial Unit Plugin ‎ style
12:4912:49, 11 October 2012 diff hist −1‎ m Tutorial Unit Plugin ‎ newlines
12:4512:45, 11 October 2012 diff hist 0‎ m Tutorial Unit Plugin ‎ typo
12:4412:44, 11 October 2012 diff hist +189‎ Tutorial Unit Plugin ‎ add remark about setting the animator to a fixpoint state

15:0215:02, 29 July 2012 diff hist +46‎ Tutorial Unit Plugin ‎ changed to new unit format

13:0413:04, 16 July 2012 diff hist +722‎ Tutorial Unit Plugin ‎ added section on unit conversion
13:0013:00, 16 July 2012 diff hist +34‎ m Tutorial Unit Plugin ‎ Fix Prolog lists of lists beeing expanded as wiki syntax

10:5110:51, 29 June 2012 diff hist +117‎ Tutorial Unit Plugin ‎ Fixed syntax for multiple units.

19:3619:36, 21 June 2012 diff hist +2,840‎ N Tutorial Unit Plugin ‎ added new page explaining the unit plugin
12:5412:54, 21 June 2012 diff hist 0‎ m Tutorial ‎ typo
12:5412:54, 21 June 2012 diff hist +75‎ m Tutorial ‎ add link to plugin tutorial

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Sebastian_Krings"