• Name: Joseph Kiniry
• Email: joseph.kiniry@ucdNO_SPAM.ie
• Phone: +353 1 716 2929
• Department: Computer Science, University College Dublin
• Work package participation: I participate in WP 1, 3, 4, 5, and 6
• Leadership: I lead WP 3.6, "Program Verification Environment"

My Links

• WelcomeGuest to learn TWiki
• Sandbox web to try out TWiki
• JosephKinirySandbox^? just for me
• Homepage
• Research Group

Personal Preferences (details in TWikiVariables)

• Show tool-tip topic info on mouse-over of WikiWord links, on or off: (see details in TWikiPreferences)
  • Set LINKTOOLTIPINFO = on
• Horizontal size of text edit box:
  • Set EDITBOXWIDTH = 80
• Vertical size of text edit box:
  • Set EDITBOXHEIGHT = 24
• 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

• Change Password
• TWikiPreferences has site-level preferences of TWiki.
• Web Preferences has preferences of the TWiki.Main web.
• TWikiUsers has a list of other TWiki users.