Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Perl Shell CSS Other

more doc

latest commit 78c81e5105
Josef Urban authored
Failed to load latest commit information.
deps moving odl stuff and deps into subdirectories
devel Insight: use --cached in git diff-index.
doc more doc
git-template Set up a template git repository.
old moving odl stuff and deps into subdirectories
t A more compact representation of the makefile.
.gitignore .gitignore
Makefile-depsrepo more Mizar fine dependencies - seems working
Makefile.coqrepo contents link, optionalized the testing case with a small nr of artic…
Makefile.corninstall mirror implemented - will this work??
Makefile.install Make the public mwiki user not have a password.
Makefile.repo more Mizar fine dependencies - seems working
Makefile.smallinstall sandbox is now rsync-ed with public_repo
MizItemize.pl more itemization
TODO line numbers or output with errors
apacheconf-mizar.in PUBLIC_REPO instead of compiled in apache conf
apacheconf.in doc/html
article.css Color for "constants".
article.js Factor out javascript.
c_wrapper.c c-wrapper for perl recommended at http://perldoc.perl.org/perlsec.htm…
commit.cgi The htmldir is now a git config variable
coq.pm better directories
coqdoc.css seems that #main does not work inside ikiwiki, seems not needed (maki…
coqfooter.in the coqdoc footer
coqheader.in contents added
coqindexheader.in header for index files
corn-gitignore gitignore for corn
corn-install.sh found 8.2
corn-public-repo-description corn-public-repo-decription
corndupl.pl print and htmlize possible duplications in corn by looking at the dpd…
cornlist list of corn sources in topological sorting
cwiki-gitdaemon.run cwiki-gitdaemon.run - usable also for mwiki
cwiki.cgi creating the dir if needed
dependencies.pl Set up a little MIZFILES and start doing some stuff with it.
depends git-daemon-run dependency
devel-repo-description Big refactoring.
duplicates.pl A git/linux kernel like output when building.
duplicates1.pl duplicates1.pl new version of duplicates.pl
git-notes.org Big refactoring.
git-notes.txt Some notes on our git implementation.
git.pm attempt to take good stuff from the ikiwiki's git plugin - this should
gitignore-devel Big refactoring.
gitignore-public Big refactoring.
gitweb Big refactoring.
ikiwiki-git.pm commited the ikiwiki's git plugin we should be re-using this, it look…
ikiwiki_notes.pl cgi sessions, link scanning, more templates
index.css Whitespace.
install-corn1.sh 10 articles
install-cornmws-full.sh executable
install-cornmws1.sh made executable
install-jesse-macosx.sh A tool to help me test this stuff on my mac.
install-jesse.sh merged
install-mws.sh new library, doing mwiki.cgi and gitweb too
install-urban.sh mizfiles=/home/urban/mizinst/7.11.06_4.145.1096
install-urban1.sh fdeps debugged
jesse-install.sh refactor, eliminate bashism (thanks, ubuntu)
miz_item_deps_bf.pl better doc
mizar-ikiwiki.pm Move mizar.pm to mizar-ikiwiki.pm.
mizar.pm fdeps debugged
mizp.pl commited the parallelizer from the MPTP2 repo, to steal code from it …
mkmmlindex.pl more Mizar fine dependencies - seems working
mkxmlhead.pl more general mkxmlhead
mml-gitignore more Mizar fine dependencies - seems working
mmlident.html mmlident
mwiki-gitdaemon.run mwiki-gitdaemon has --base-path=/var/cache; to allow multiple repos i…
mwiki.apacheconf 00INDEX.html as the default index
mwiki.cgi more Mizar fine dependencies - seems working
my-pre-commit A fun little guy.
my-pre-receive Seems to be working
post-commit excluding the .git repo from rsync - not a good idea during the commit
post-commit-coq post-commit for coq
post-update.in pushing to mirror_repo in post-update
pre-commit excluding the .git repo from rsync - not a good idea during the commit
pre-commit-coq ALLOW_SKIPPED_PROOFS --> ALLOWSKIPPEDPROOFS (git-config does not like…
pre-receive-coq.in tail -n +2 used to remove the first line with commit sha and message
pre-receive.in tail -n +2 used to remove the first line with commit sha and message
public-repo-description Big refactoring.
strip_lines_and_column_info.xsl A more compact representation of the makefile.
strip_lines_and_column_info.xsltxt Strip even more content from XML-ized mizar articles.
tex.pm fixed, seems working with latexmlc (from the latexmld package)
Something went wrong with that request. Please try again.