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: 3c8a378) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 6 Jan 2008 21:43:28 +0000 (21:43 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 6 Jan 2008 21:43:28 +0000 (21:43 +0000)
commit	54e4c7dc896732bafcd907b0380d59efa0a181b7
tree	1ff97526068b6c843816aeb3f674231ee600f0eb	tree \| snapshot
parent	3c8a3783837bf7773437b12a089b8edf93879b5d	commit \| diff

better documentation both with -h and with F1

matita/help/C/figures/developments.png	[deleted file]	blob \| history
matita/help/C/sec_commands.xml		diff \| blob \| history
matita/help/C/sec_gettingstarted.xml		diff \| blob \| history
matita/library/depends		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitadep.ml		diff \| blob \| history

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