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: 0296c1e) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 10 Apr 2002 17:44:42 +0000 (17:44 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 10 Apr 2002 17:44:42 +0000 (17:44 +0000)
commit	0b98d26b91686aa610e53dc7aca882f914994be6
tree	92d0237b0d67eaadf510717a8c6f355a30aeac8f	tree \| snapshot
parent	0296c1e3ea8de05faae909ec9a21fb7ec5b723b1	commit \| diff

First MOWGLI paper. Many others will follow.

helm/mowgli/home/html/Makefile		diff \| blob \| history
helm/mowgli/home/html/publications/mowgli/.cvsignore		diff \| blob \| history
helm/mowgli/home/xml/publications/index.xml		diff \| blob \| history
helm/mowgli/home/xml/publications/mowgli/crimea.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/publications/others/publication.dtd		diff \| blob \| history
helm/mowgli/home/xsl/publication.xsl		diff \| blob \| history

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