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: c41d664) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Mon, 7 Dec 2020 19:44:36 +0000 (20:44 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Mon, 7 Dec 2020 19:44:36 +0000 (20:44 +0100)
commit	9bdda2beaa7b0f836e3700a2e2458761e8eee06d
tree	0d5f5c1ed5b88e1ab073f378721e638302e9aff0	tree \| snapshot
parent	c41d664b002c148fe5f856aeb8cbe13b154cc20d	commit \| diff

λδ site update

+ another Unicode character sponsored
+ Helena: minor updates
+ Ground: minor updates

helm/software/helena/src/common/layer.ml		diff \| blob \| history
helm/software/helena/src/toplevel/helena.ml		diff \| blob \| history
helm/www/lambdadelta/images/bronze-03C7.png	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/home.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/exteq.ma		diff \| blob \| history

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