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: 2dc2c36) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 25 Nov 2007 13:12:25 +0000 (13:12 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 25 Nov 2007 13:12:25 +0000 (13:12 +0000)
commit	2a4ee6db10333354003f6e3cd342298a82799ad4
tree	d3f99d5ea9824d1f7ae54a547cc34cc8078f24c6	tree \| snapshot
parent	2dc2c36139df472d2e3fcefc7b28d7f4e34d0c0c	commit \| diff

snapshot for camlp5 v5

19 files changed:

DEVEL/gdome_xslt/debian/changelog		diff \| blob \| history
DEVEL/gdome_xslt/debian/control		diff \| blob \| history
DEVEL/lablgtkmathview/debian/changelog		diff \| blob \| history
DEVEL/lablgtkmathview/debian/control		diff \| blob \| history
Makefile		diff \| blob \| history
components/syntax_extensions/pa_unicode_macro.ml		diff \| blob \| history
configure.ac		diff \| blob \| history
daemons/on-line/xslt/getParam.xsl		diff \| blob \| history
daemons/on-line/xslt/ls2theory.xsl		diff \| blob \| history
daemons/on-line/xslt/makeGraphLinks.xsl		diff \| blob \| history
daemons/on-line/xslt/metadataControl.xsl		diff \| blob \| history
daemons/on-line/xslt/substKey.xsl		diff \| blob \| history
daemons/rdfly/Makefile		diff \| blob \| history
daemons/rdfly/rdfly.conf.xml.sample		diff \| blob \| history
daemons/rdfly/rdfly.ml		diff \| blob \| history
matita/matita.conf.xml.in		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitaMathView.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history

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