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: 44fca01) | patch

author	no author <no.author@nowhere.it>
	Thu, 21 Nov 2002 16:58:01 +0000 (16:58 +0000)
committer	no author <no.author@nowhere.it>
	Thu, 21 Nov 2002 16:58:01 +0000 (16:58 +0000)
commit	5379335718a93d3e933d9bfdc0dd85f00983bc21
tree	33ef793877700e274f726d674f53c0d6c47ae960	tree \| snapshot
parent	44fca010f5f7c9585c9530c4b6b30cd774b7cd1c	commit \| diff

This commit was manufactured by cvs2svn to create branch
'V7_3_new_exportation'.

13 files changed:

helm/meta_style/.cvsignore	[new file with mode: 0644]	blob
helm/meta_style/Makefile	[new file with mode: 0644]	blob
helm/meta_style/algebra.xml	[new file with mode: 0644]	blob
helm/meta_style/arith.xml	[new file with mode: 0644]	blob
helm/meta_style/basic.xml	[new file with mode: 0644]	blob
helm/meta_style/meta_cic2mathml.xsl	[new file with mode: 0644]	blob
helm/meta_style/modeset.xsl	[new file with mode: 0644]	blob
helm/meta_style/operator.dtd	[new file with mode: 0644]	blob
helm/meta_style/positive.xsl	[new file with mode: 0644]	blob
helm/meta_style/reals.xml	[new file with mode: 0644]	blob
helm/meta_style/set.xml	[new file with mode: 0644]	blob
helm/meta_style/subst.pl	[new file with mode: 0755]	blob
helm/meta_style/xslt_index.txt	[new file with mode: 0644]	blob

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