Rob Vermaas

• Name: Rob Vermaas
• Email: rbvermaa@cs.uu.nl
• Websites:
  • https://strategoxt.org
  • http://stratego.insanity.nl
  • http://www.levellers.nl
• Whereabouts: Netherlands / Austria / Hungary
• Comment:
  • I love Dr Pepper!
• Working on stratego-doc

Personal Preferences (details in 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 WikiName)
  • Set ALLOWTOPICCHANGE =