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: 71204a8) | patch

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 3 Jul 2012 12:59:02 +0000 (12:59 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 3 Jul 2012 12:59:02 +0000 (12:59 +0000)
commit	98827f140349f91cbd546491b233d6d5d3f335c3
tree	6550da7ba47a94e3ad38e9ffb09db578f0a789ea	tree \| snapshot
parent	71204a8e8d1084c94adfbcf9264f71ab85f3621e	commit \| diff

Matitaweb: several improvements in the UI.

18 files changed:

matitaB/matita/html/icons/add.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/check.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/delete.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/error.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/folder.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/questionmark.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/refresh.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/save.png	[new file with mode: 0644]	blob
matitaB/matita/html/icons/upload.png	[new file with mode: 0644]	blob
matitaB/matita/html/index.html		diff \| blob \| history
matitaB/matita/html/jquery-ui-custom.js	[new file with mode: 0644]	blob
matitaB/matita/html/jquery.layout-latest.js	[new file with mode: 0644]	blob
matitaB/matita/html/layout.js		diff \| blob \| history
matitaB/matita/html/login.html		diff \| blob \| history
matitaB/matita/html/logout.html		diff \| blob \| history
matitaB/matita/html/matitaweb.css		diff \| blob \| history
matitaB/matita/html/matitaweb.js		diff \| blob \| history
matitaB/matita/html/register.html		diff \| blob \| history

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