]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 532ad96) | patch
Matitaweb: commit test.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 3 Oct 2011 13:49:18 +0000 (13:49 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 3 Oct 2011 13:49:18 +0000 (13:49 +0000)
commit067dac34139ef835c5ab68e1d97519a5bcc4619c
tree9033eff67524cd74fe49caf23f8d63ec3773b0c4tree | snapshot
parent532ad96dcdc92df44ec002ccff718f0fbb0a5623commit | diff
Matitaweb: commit test.
weblib/basics/prova2.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.