WebHome
Transformation
GPCE
Stratego/XT
Tiger
Tools
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
Rev 8
(diff 7)
Rev 7
(diff 6)
Rev 6
(diff 5)
Total History
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Rob Vermaas
Program-Transformation.Org
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-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 =