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: c649d81) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 26 May 2004 17:54:36 +0000 (17:54 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 26 May 2004 17:54:36 +0000 (17:54 +0000)
commit	44f27c5113259badb27d6a773c0b86e933056203
tree	bd681e8b1deea49163d0f52afc061933efcc6def	tree \| snapshot
parent	c649d815726087385d12e80a48ed63f0478d8075	commit \| diff

Major interface upgrade still going on. But we are approaching the end of the
tunnel.

helm/on-line/html/folder/control.html	[new file with mode: 0644]	blob
helm/on-line/html/folder/index.html	[new file with mode: 0644]	blob
helm/on-line/xslt/ls2theory.xsl		diff \| blob \| history
helm/on-line/xslt/toplevel_header.xsl		diff \| blob \| history
helm/on-line/xslt/xslt_index.txt		diff \| blob \| history

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