]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2405e80) | patch
More examples
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 May 2012 06:28:47 +0000 (06:28 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 May 2012 06:28:47 +0000 (06:28 +0000)
commitfac3ace96363de48a5fa3d75e2515f1eaf52d133
tree685287a53b8079d88540b498122f76200d748607tree | snapshot
parent2405e80ecd3a66780ef1d27066a648330aacf1b0commit | diff
More examples
matita/matita/lib/re/moves.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.