Skip to content
This repository
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 126 lines (94 sloc) 4.998 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125
# Navigating

The most natural way of navigating is by clicking wiki links that
connect one page with another. The "Front page" link in the navigation
bar will always take you to the Front Page of the wiki. The "All pages"
link will take you to a list of all pages on the wiki (organized into
folders if directories are used). Alternatively, you can search using
the search box. Note that the search is set to look for whole words, so
if you are looking for "gremlins", type that and not "gremlin".
The "go" box will take you directly to the page you type.

# Creating and modifying pages

## Registering for an account

In order to modify pages, you'll need to be logged in. To register
for an account, just click the "register" button in the bar on top
of the screen. You'll be asked to choose a username and a password,
which you can use to log in in the future by clicking the "login"
button. While you are logged in, these buttons are replaced by
a "logout so-and-so" button, which you should click to log out
when you are finished.

Note that logins are persistent through session cookies, so if you
don't log out, you'll still be logged in when you return to the
wiki from the same browser in the future.

## Editing a page

To edit a page, just click the "edit" button at the bottom right corner
of the page.

You can click "Preview" at any time to see how your changes will look.
Nothing is saved until you press "Save."

Note that you must provide a description of your changes. This is to
make it easier for others to see how a wiki page has been changed.

## Page metadata

Pages may optionally begin with a metadata block. Here is an example:

    ---
    format: latex+lhs
    categories: haskell math
    toc: no
    title: Haskell and
      Category Theory
    ...

    \section{Why Category Theory?}

The metadata block consists of a list of key-value pairs, each on a
separate line. If needed, the value can be continued on one or more
additional line, which must begin with a space. (This is illustrated by
the "title" example above.) The metadata block must begin with a line
`---` and end with a line `...` optionally followed by one or more blank
lines.

Currently the following keys are supported:

format
: Overrides the default page type as specified in the configuration file.
    Possible values are `markdown`, `rst`, `latex`, `html`, `markdown+lhs`,
    `rst+lhs`, `latex+lhs`. (Capitalization is ignored, so you can also
    use `LaTeX`, `HTML`, etc.) The `+lhs` variants indicate that the page
    is to be interpreted as literate Haskell. If this field is missing,
    the default page type will be used.

categories
: A space or comma separated list of categories to which the page belongs.

toc
: Overrides default setting for table-of-contents in the configuration file.
    Values can be `yes`, `no`, `true`, or `false` (capitalization is ignored).

title
: By default the displayed page title is the page name. This metadata element
    overrides that default.

## Creating a new page

To create a new page, just create a wiki link that links to it, and
click the link. If the page does not exist, you will be editing it
immediately.

## Reverting to an earlier version

If you click the "history" button at the bottom of the page, you will
get a record of previous versions of the page. You can see the differences
between two versions by dragging one onto the other; additions will be
highlighted in yellow, and deletions will be crossed out with a horizontal
line. Clicking on the description of changes will take you to the page
as it existed after those changes. To revert the page to the revision
you're currently looking at, just click the "revert" button at the bottom
of the page, then "Save".

## Deleting a page

The "delete" button at the bottom of the page will delete a page. Note
that deleted pages can be recovered, since a record of them will still be
accessible via the "activity" button on the top of the page.

# Uploading files

To upload a file--a picture, a PDF, or some other resource--click the
"upload" button in the navigation bar. You will be prompted to select
the file to upload. As with edits, you will be asked to provide a
description of the resource (or of the change, if you are overwriting
an existing file).

Often you may leave "Name on wiki" blank, since the existing name of the
file will be used by default. If that isn't desired, supply a name.
Note that uploaded files *must* include a file extension (e.g. `.pdf`).

If you are providing a new version of a file that already exists on the
wiki, check the box "Overwrite existing file." Otherwise, leave it
unchecked.

To link to an uploaded file, just use its name in a regular wiki link.
For example, if you uploaded a picture `fido.jpg`, you can insert the
picture into a (markdown-formatted) page as follows: `![fido](fido.jpg)`.
If you uploaded a PDF `projection.pdf`, you can insert a link to it
using: `[projection](projection.pdf)`.

Something went wrong with that request. Please try again.