matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 9b12c75) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 27 May 2004 17:27:52 +0000 (17:27 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 27 May 2004 17:27:52 +0000 (17:27 +0000)
commit	aacc5f566b60763bede71263cb9441b5b2fb04a1
tree	0214d86b236483355dcbc2f885aded592738c8f3	tree \| snapshot
parent	9b12c7574b3d0e0b8bf3a3a67efa03e36abf3f0d	commit \| diff

New HELM interface almost stable.

14 files changed:

helm/on-line/html/cic/control.html		diff \| blob \| history
helm/on-line/html/cic/index.html		diff \| blob \| history
helm/on-line/html/configuration.html	[new file with mode: 0644]	blob
helm/on-line/html/folder/control.html		diff \| blob \| history
helm/on-line/html/folder/index.html		diff \| blob \| history
helm/on-line/html/theory/control.html		diff \| blob \| history
helm/on-line/html/theory/index.html		diff \| blob \| history
helm/on-line/javascript/control.js		diff \| blob \| history
helm/on-line/javascript/prelude.js		diff \| blob \| history
helm/on-line/xslt/ls2theory.xsl		diff \| blob \| history
helm/on-line/xslt/makeGraphLinks.xsl		diff \| blob \| history
helm/on-line/xslt/resolve_topurl.xsl		diff \| blob \| history
helm/on-line/xslt/substKey.xsl	[new file with mode: 0644]	blob
helm/on-line/xslt/toplevel_header.xsl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.