WebHome
Transformation
GPCE

Stratego/XT
Tiger
Tools

Page

Web

Wiki

Aaron Searle

Program-Transformation.Org
  • Name: Aaron Searle
  • Email: a.searle@qut.edu.au
  • Homepage: "http://plas2003.fit.qut.edu.au/Wiki/Users/Aaron Searle/Aaron Searle's Wiki.html"
  • Country: Australia
  • Comment: Also see "http://plas2003.fit.qut.edu.au/Wiki/Users/Aaron Searle/Aaron Searle's Wiki/Notes/Research Notes/Autoguard.html"

Personal Preferences (details in TWikiVariables)

  • Horizontal size of text edit box:
    • Set EDITBOXWIDTH = 70
  • Vertical size of text edit box:
    • Set EDITBOXHEIGHT = 17
  • Style of text edit box. width: 99% for full window width (default), width: auto to disable.
    • Set EDITBOXSTYLE = width: 99%
  • Optionally write protect your home page: (set it to your WikiName)
    • Set ALLOWTOPICCHANGE =

Related topics