User contributions for Sebastian Krings

14 January 2016

• 14:2814:28, 14 January 2016 diff hist +517‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
• 12:5512:55, 14 January 2016 diff hist +2,420‎ Using ProB with Z3 ‎No edit summary
• 08:3408:34, 14 January 2016 diff hist +375‎ N Using ProB with Z3 ‎ Created page with "Category:User Manual Category:Stubs The current nightly versions of ProB can make use of [http://alloy.mit.edu/kodkod/ Z3] as an alternate way of solving constraints...."
• 08:3108:31, 14 January 2016 diff hist +25‎ Template:User Manual Index ‎No edit summary

14 December 2015

• 09:1509:15, 14 December 2015 diff hist +2‎ Windows Installation Instructions ‎ →‎Checklist/Troubleshooting
• 09:1509:15, 14 December 2015 diff hist −4‎ Windows Installation Instructions ‎ →‎Install Tcl/Tk 8.5

2 December 2015

• 08:3608:36, 2 December 2015 diff hist +22‎ Download ‎No edit summary
• 08:3108:31, 2 December 2015 diff hist −6‎ Download ‎ →‎Sourcecode

24 November 2015

• 08:4708:47, 24 November 2015 diff hist 0‎ N File:ProB ApplesOranges Sol.png ‎No edit summary current

19 October 2015

• 10:0010:00, 19 October 2015 diff hist +1‎ ABZ14 ‎ →‎References
• 09:5609:56, 19 October 2015 diff hist +104‎ ABZ14 ‎ →‎BMotion Studio for ProB Video

11 September 2015

• 09:1409:14, 11 September 2015 diff hist +2‎ Tutorial Unit Plugin With Rodin ‎ →‎Attaching Physical Units to Variables and Constants
• 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

27 March 2015

• 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