Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Perl Common Lisp Emacs Lisp Shell CSS JavaScript Other
Pull request Compare This branch is 376 commits ahead, 14 commits behind JUrban:master.
Failed to load latest commit information.
deps moving odl stuff and deps into subdirectories
devel Insight: use --cached in git diff-index.
doc more details in fine-deps
git-template Set up a template git repository.
lisp Use a custom request dispatcher.
old moving odl stuff and deps into subdirectories
t Make MML 4.150.1103 available for testing.
xsl4mizar @ a21c713 Add (my, jessealama's) xsl4mizar as a submodule.
.gitmodules Add (my, jessealama's) xsl4mizar as a submodule.
Makefile-depsrepo deps is now also a file created by tsort-ing other .dep files (aka
Makefile.coqrepo contents link, optionalized the testing case with a small nr of artic…
Makefile.corninstall mirror implemented - will this work??
Makefile.install No git dameon.
Makefile.repo Merge remote branch 'remotes/josef/master'
Makefile.smallinstall Merge remote branch 'remotes/josef/master'
MizItemize.pl more itemization
TODO Merge with Josef.
apacheconf-mizar.in different apacheconf for mizar - no "doc" subdir
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
edit.css Factor out edit page CSS.
env.pl Use envget with long lines.
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 Whitespace.
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
itemize.pl Otput the extracted text of each item to the command line only when d…
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 Use LINK, not STYLE.
mkxmlhead.pl more general mkxmlhead
mml-gitignore ignoring .fdeps and deps
mmlident.html mmlident
mwiki-frontpage.apacheconf 0000INDEX.html
mwiki-gitdaemon.run mwiki-gitdaemon has --base-path=/var/cache; to allow multiple repos i…
mwiki.apacheconf We need to use index.html, not 00INDEX.html.
mwiki.cgi Merge remote branch 'remotes/josef/master'
my-pre-commit A fun little guy.
my-pre-receive Seems to be working
post-commit 00INDEX.html as the default index
post-commit-coq post-commit for coq
post-update.in pushing to mirror_repo in post-update
pre-commit ALLOW_SKIPPED_PROOFS --> ALLOWSKIPPEDPROOFS (git-config does not like…
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.
reservations.el Numbers are unfortunately not acceptable names of identifiers.
reservations.pl First bug-ridden stab at properly breaking up reservation blocks.
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)
trim.pl Robust.
vocab.pl Extract the vocabulary items (symbols) for MML articles.
Something went wrong with that request. Please try again.