MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Education/MapiFc Web Preferences

The following settings are web preferences of the Education.MapiFc web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Parameters

  • Set ANO_DEF = 0809

Web Preferences Settings

Preferences:

  • Set SKIN=nat

  • Set SKINSTYLE = Kubrick
  • Set STYLEBORDER = thin
  • Set STYLEBUTTONS = off
  • Set STYLESIDEBAR = left
  • Set STYLEVARIATION = none
  • Set STYLESEARCHBOX = off

  • Set PAGETITLE = MAP/i - Foundations of Computing

  • Set NATWEBLOGO = MAP/i - Foundations of Computing
  • Set WEBLOGOALT = Option I: Program Semantics, Verification, and Construction
  • Set WEBLOGOURL = WebHome

  • Set WEBCOPYRIGHT = This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

  • List of topics of the Education/MapiFc web:

 #D0D0D0 
  • Web-specific background color: (Pick a lighter one of the StandardColors).
    • Set WEBBGCOLOR = #D0D0D0
    • Note: This setting is automatically configured when you create a web

  • Image, URL and alternate tooltip text of web's logo.
    Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
    • #Set WEBLOGOIMG = /twiki/pub/Main/LocalLogos/um_eengP.jpg
    • #Set WEBLOGOURL = WebHome
    • #Set WEBLOGOALT = Option I: Program Semantics, Verification, and Construction

  • List of topics of the TWiki.Education/MapiFc web:
    • Set WEBTITLE = MAP/i - Foundations of Computing

  • List this web in the SiteMap:
    • If yes, Set SITEMAPLIST = on, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Education/MapiFc.Topic links.
    • Set SITEMAPLIST = on
    • Set SITEMAPWHAT = MAP/i - Foundations of Computing
    • Set SITEMAPUSETO = Option I: Program Semantics, Verification, and Construction

  • Exclude web from a web="all" search: (Set to on for hidden webs)
    • Set NOSEARCHALL =

  • Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
    • #Set NOAUTOLINK =
    • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

  • Default template for new topics for this web:
    • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
    • TWiki.WebTopicEditTemplate: Site-level default topic template

  • Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
    • Set WEBFORMS =

  • Users or groups who are not / are allowed to view / change / rename topics in the Education/MapiFc web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
    • #Set DENYWEBVIEW =
    • #Set ALLOWWEBVIEW =
    • #Set DENYWEBCHANGE =
    • #Set ALLOWWEBCHANGE = TWikiAdminGroup
    • #Set DENYWEBRENAME =
    • #Set ALLOWWEBRENAME = TWikiAdminGroup

  • Web preferences that are not allowed to be overridden by user or topic preferences:
    • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

  • A preference setting is defined by:
    3 or 6 spaces * Set NAME = value
    Example:
    • Set WEBBGCOLOR = #FFFFC0
  • A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  • Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
    • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
  • The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
  • You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

Tools

  Attachment Action Size Date Who Comment
bmp favicon.ico props, move 0.3 K 20 Nov 2004 - 18:14 TWikiContributor placeholder favicon
r15 - 27 Sep 2008 - 11:39:23 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM