]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8feb1cd) | patch
(dis)organized web stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:49:29 +0000 (18:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:49:29 +0000 (18:49 +0000)
commite4633c8734ded3d203fb292aec78d614a8b70ed7
treeea9ab6974e8bbe38401b524f9e1f4befde3a8257tree | snapshot
parent8feb1cda5703daa4371c556593bab63514423a58commit | diff
(dis)organized web stuff
37 files changed:
daemons/on-line/html/cic/control.html [new file with mode: 0644] blob
daemons/on-line/html/cic/index.html [new file with mode: 0644] blob
daemons/on-line/html/configuration.html [new file with mode: 0644] blob
daemons/on-line/html/folder/control.html [new file with mode: 0644] blob
daemons/on-line/html/folder/index.html [new file with mode: 0644] blob
daemons/on-line/html/theory/control.html [new file with mode: 0644] blob
daemons/on-line/html/theory/index.html [new file with mode: 0644] blob
daemons/on-line/icons/folder.png [new file with mode: 0644] blob
daemons/on-line/icons/object.png [new file with mode: 0644] blob
daemons/on-line/icons/theory.png [new file with mode: 0644] blob
daemons/on-line/javascript/.cvsignore [new file with mode: 0644] blob
daemons/on-line/javascript/Makefile [new file with mode: 0644] blob
daemons/on-line/javascript/helmjsmenu.js [new file with mode: 0644] blob
daemons/on-line/javascript/prelude.js [new file with mode: 0644] blob
daemons/on-line/xslt/getParam.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/ls2theory.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/makeGraphLinks.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/metadataControl.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/resolve_topurl.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/search.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/substKey.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/toplevel_header.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/utils.xsl [new file with mode: 0644] blob
daemons/on-line/xslt/xslt_index.txt [new file with mode: 0644] blob
daemons/scripts/init.d/daemon_respawner.sh [new file with mode: 0755] blob
daemons/scripts/init.d/etc_default_helm [new file with mode: 0644] blob
daemons/scripts/init.d/helm [new file with mode: 0755] blob
daemons/scripts/init.d/helm-bootmisc.sh [new file with mode: 0755] blob
daemons/scripts/init.d/helm-draw-graph [new file with mode: 0755] blob
daemons/scripts/init.d/helm-http-getter [new file with mode: 0755] blob
daemons/scripts/init.d/helm-proof-checker [new file with mode: 0755] blob
daemons/scripts/init.d/helm-rdfly [new file with mode: 0755] blob
daemons/scripts/init.d/helm-search-engine [new file with mode: 0755] blob
daemons/scripts/init.d/helm-uri-set-queue [new file with mode: 0755] blob
daemons/scripts/init.d/helm-uwobo [new file with mode: 0755] blob
daemons/scripts/init.d/helm-uwobo-stylesheets [new file with mode: 0755] blob
daemons/scripts/init.d/loadPredefinedStylesheets.pl [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.