Skip to topic | Skip to bottom
Home
Main

edit

Main.JesseAlamar1.1 - 12 Dec 2004 - 23:25 - JesseAlamatopic end
Start of topic | Skip to actions

Personal Preferences (details in TWikiVariables)

  • Horizontal size of text edit box:
    • Set EDITBOXWIDTH = 70
  • Vertical size of text edit box:
    • Set EDITBOXHEIGHT = 17
  • Optionally write protect your home page: (set it to your WikiName)
    • Set ALLOWTOPICCHANGE =

Related topics


to top
End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.1 | Total page history | Backlinks
You are here: Main > JesseAlama

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback