]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6958ec3) | patch
First commit of the NuPRL stylesheets.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2003 14:44:51 +0000 (14:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2003 14:44:51 +0000 (14:44 +0000)
commit734a6fc5d8da4896c646d1dd7a17afaf0dd33224
tree9c6eb78ed82d5c2e3b873b93390d814dbef9e0a6tree | snapshot
parent6958ec3406c687e19c7a866b5cb64455359e07f2commit | diff
First commit of the NuPRL stylesheets.
15 files changed:
helm/nuprl_stylesheets/nuprl_abstract.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_annotatedpres.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_content_to_html.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_expand.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_html_arith.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_html_basic.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_link.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_links_library.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_mmlextension.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_proof.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_rules.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_term.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/nuprl_tree.xsl [new file with mode: 0644] blob
helm/nuprl_stylesheets/xslt_index.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.