User contributions for Sebastian Krings

6 December 2012

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

11 October 2012

• 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

29 July 2012

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

16 July 2012

• 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

29 June 2012

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

21 June 2012

• 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