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: 9935a5b) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 25 Dec 2014 15:38:27 +0000 (15:38 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 25 Dec 2014 15:38:27 +0000 (15:38 +0000)
commit	68b5af5ca8f1e7f98485b92692b3dcb1ae240d19
tree	960370ed8149ad60685fbab2f6530669b8c1874f	tree \| snapshot
parent	9935a5bf5bdc98ad01a2b0234cf4e612a62c939f	commit \| diff

lddl update with the disambiguated "grundlagen"

17 files changed:

helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/Makefile		diff \| blob \| history
helm/www/lambdadelta/apps_2.html		diff \| blob \| history
helm/www/lambdadelta/basic_2.html		diff \| blob \| history
helm/www/lambdadelta/documentation.html		diff \| blob \| history
helm/www/lambdadelta/download/lddl.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/etc/exclude.txt	[new file with mode: 0644]	blob
helm/www/lambdadelta/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/implementation.html		diff \| blob \| history
helm/www/lambdadelta/index.html		diff \| blob \| history
helm/www/lambdadelta/news.html		diff \| blob \| history
helm/www/lambdadelta/specification.html		diff \| blob \| history
helm/www/lambdadelta/web/home/implementation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/xml/ld.dtd		diff \| blob \| history

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