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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 11 Sep 2011 14:03:37 +0000 (14:03 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 11 Sep 2011 14:03:37 +0000 (14:03 +0000)
commit	354731c43c5d5b8d050564025e26fdc3bc85acb9
tree	2340c35dcbaf38f547cb880a93d0f1b881e07977	tree \| snapshot
parent	95872555aaa040a22ad2d93cb1278f79e20da70c	commit \| diff

the refactoring continues ...

27 files changed:

helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/Makefile.common		diff \| blob \| history
helm/software/helena/icons/b3.png	[deleted file]	blob \| history
helm/software/helena/icons/b4.png	[deleted file]	blob \| history
helm/software/helena/icons/b5.png	[deleted file]	blob \| history
helm/software/helena/icons/b9.png	[deleted file]	blob \| history
helm/software/helena/icons/basic-32.png	[deleted file]	blob \| history
helm/software/helena/icons/crux-16.ico	[deleted file]	blob \| history
helm/software/helena/icons/crux-32.png	[deleted file]	blob \| history
helm/software/helena/icons/helena-32.png	[deleted file]	blob \| history
helm/software/helena/icons/helena-label.png	[deleted file]	blob \| history
helm/software/helena/icons/rainbow.png	[deleted file]	blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history
helm/software/helena/xml/ld-html-entity.xsl	[deleted file]	blob \| history
helm/software/helena/xml/ld-html-library.xsl	[deleted file]	blob \| history
helm/software/helena/xml/ld-html-root.xsl	[deleted file]	blob \| history
helm/software/helena/xml/ld-html-term.xsl	[deleted file]	blob \| history
helm/software/helena/xml/ld-html.css	[deleted file]	blob \| history
helm/software/helena/xml/ld-html.xsl	[deleted file]	blob \| history
helm/software/helena/xml/ld.css	[new file with mode: 0644]	blob
helm/software/helena/xml/ld.dtd		diff \| blob \| history
helm/software/helena/xml/lddl.css	[new file with mode: 0644]	blob
helm/software/helena/xml/lddl.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/lddl_entry.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/lddl_library.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/lddl_root.xsl	[new file with mode: 0644]	blob
helm/software/helena/xml/lddl_term.xsl	[new file with mode: 0644]	blob

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

RSS Atom