https://github.com/JUrban/mwiki
Tip revision: 78c81e51051370fa1bd8108c2c22339077bfbacd authored by Josef Urban on 15 April 2011, 22:52:10 UTC
more doc
more doc
Tip revision: 78c81e5
| File | Mode | Size |
|---|---|---|
| deps | ||
| devel | ||
| doc | ||
| git-template | ||
| old | ||
| t | ||
| .gitignore | -rw-r--r-- | 3 bytes |
| Makefile-depsrepo | -rw-r--r-- | 1.2 KB |
| Makefile.coqrepo | -rw-r--r-- | 3.2 KB |
| Makefile.corninstall | -rw-r--r-- | 9.2 KB |
| Makefile.install | -rw-r--r-- | 10.0 KB |
| Makefile.repo | -rw-r--r-- | 3.7 KB |
| Makefile.smallinstall | -rw-r--r-- | 9.7 KB |
| MizItemize.pl | -rw-r--r-- | 1.5 KB |
| TODO | -rw-r--r-- | 8.0 KB |
| apacheconf-mizar.in | -rw-r--r-- | 221 bytes |
| apacheconf.in | -rw-r--r-- | 234 bytes |
| article.css | -rw-r--r-- | 1.3 KB |
| article.js | -rw-r--r-- | 2.5 KB |
| c_wrapper.c | -rw-r--r-- | 89 bytes |
| commit.cgi | -rwxr-xr-x | 6.4 KB |
| coq.pm | -rw-r--r-- | 2.5 KB |
| coqdoc.css | -rw-r--r-- | 2.1 KB |
| coqfooter.in | -rw-r--r-- | 171 bytes |
| coqheader.in | -rw-r--r-- | 1.2 KB |
| coqindexheader.in | -rw-r--r-- | 1.3 KB |
| corn-gitignore | -rw-r--r-- | 100 bytes |
| corn-install.sh | -rwxr-xr-x | 598 bytes |
| corn-public-repo-description | -rw-r--r-- | 32 bytes |
| corndupl.pl | -rwxr-xr-x | 1.0 KB |
| cornlist | -rw-r--r-- | 5.8 KB |
| cwiki-gitdaemon.run | -rw-r--r-- | 147 bytes |
| cwiki.cgi | -rw-r--r-- | 12.8 KB |
| dependencies.pl | -rwxr-xr-x | 10.2 KB |
| depends | -rw-r--r-- | 150 bytes |
| devel-repo-description | -rw-r--r-- | 36 bytes |
| duplicates.pl | -rwxr-xr-x | 179 bytes |
| duplicates1.pl | -rw-r--r-- | 242 bytes |
| git-notes.org | -rw-r--r-- | 7.6 KB |
| git-notes.txt | -rw-r--r-- | 6.1 KB |
| git.pm | -rw-r--r-- | 8.4 KB |
| gitignore-devel | -rw-r--r-- | 448 bytes |
| gitignore-public | -rw-r--r-- | 448 bytes |
| gitweb | -rw-r--r-- | 915 bytes |
| ikiwiki-git.pm | -rw-r--r-- | 19.6 KB |
| ikiwiki_notes.pl | -rw-r--r-- | 8.3 KB |
| index.css | -rw-r--r-- | 322 bytes |
| install-corn1.sh | -rwxr-xr-x | 430 bytes |
| install-cornmws-full.sh | -rwxr-xr-x | 432 bytes |
| install-cornmws1.sh | -rwxr-xr-x | 433 bytes |
| install-jesse-macosx.sh | -rwxr-xr-x | 546 bytes |
| install-jesse.sh | -rwxr-xr-x | 506 bytes |
| install-mws.sh | -rwxr-xr-x | 475 bytes |
| install-urban.sh | -rwxr-xr-x | 427 bytes |
| install-urban1.sh | -rwxr-xr-x | 503 bytes |
| jesse-install.sh | -rw-r--r-- | 11 bytes |
| miz_item_deps_bf.pl | -rwxr-xr-x | 7.7 KB |
| mizar-ikiwiki.pm | -rw-r--r-- | 2.9 KB |
| mizar.pm | -rw-r--r-- | 49.3 KB |
| mizp.pl | -rw-r--r-- | 22.7 KB |
| mkmmlindex.pl | -rwxr-xr-x | 3.9 KB |
| mkxmlhead.pl | -rwxr-xr-x | 2.4 KB |
| mml-gitignore | -rw-r--r-- | 585 bytes |
| mmlident.html | -rw-r--r-- | 136.0 KB |
| mwiki-gitdaemon.run | -rw-r--r-- | 147 bytes |
| mwiki.apacheconf | -rw-r--r-- | 216 bytes |
| mwiki.cgi | -rwxr-xr-x | 16.0 KB |
| my-pre-commit | -rw-r--r-- | 38 bytes |
| my-pre-receive | -rwxr-xr-x | 9.8 KB |
| post-commit | -rwxr-xr-x | 2.0 KB |
| post-commit-coq | -rwxr-xr-x | 1.7 KB |
| post-update.in | -rw-r--r-- | 1.3 KB |
| pre-commit | -rwxr-xr-x | 12.5 KB |
| pre-commit-coq | -rwxr-xr-x | 9.7 KB |
| pre-receive-coq.in | -rw-r--r-- | 10.6 KB |
| pre-receive.in | -rw-r--r-- | 11.3 KB |
| public-repo-description | -rw-r--r-- | 33 bytes |
| strip_lines_and_column_info.xsl | -rw-r--r-- | 513 bytes |
| strip_lines_and_column_info.xsltxt | -rw-r--r-- | 194 bytes |
| tex.pm | -rw-r--r-- | 2.5 KB |
