]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a231930) | patch
added support for displaying the list of papers related to matita in the documentatio...
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 17:06:57 +0000 (17:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 17:06:57 +0000 (17:06 +0000)
commit29a6362af7185c72a146b50815ad1574225a027f
treefa73370236d57bc7812b17db83ea5eee0c32fe25tree | snapshot
parenta23193052609e07ce850716660f5db020164af9dcommit | diff
added support for displaying the list of papers related to matita in the documentation page (currently commented out)
helm/www/matita/Makefile diff | blob | history
helm/www/matita/style.css diff | blob | history
helm/www/matita/xml/papers.xml [new file with mode: 0644] blob
helm/www/matita/xsl/papers2xhtml.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.