* Name: Rob Vermaas * Email: rbvermaa@cs.uu.nl * Websites: * http://strategoxt.org * http://stratego.insanity.nl * http://www.levellers.nl * Whereabouts: Netherlands / Austria / Hungary * Comment: * I love Dr Pepper! * Working on [[Stratego.ExtendibleDocumentationGenerator][stratego-doc]] __Personal Preferences (details in %TWIKIWEB%.TWikiVariables)__ * Horizontal size of text edit box: * Set EDITBOXWIDTH = 70 * Vertical size of text edit box: * Set EDITBOXHEIGHT = 40 * Optionally write protect your home page: (set it to your %TWIKIWEB%.WikiName) * Set ALLOWTOPICCHANGE =