]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 465b404) | patch
Minor fixings.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 24 Oct 2005 07:40:26 +0000 (07:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 24 Oct 2005 07:40:26 +0000 (07:40 +0000)
commit24a1ba93b3894d03eeb212fdd077b0712a8e1947
treefd81a8734b6fc278b55e35305e894f1b2b2f1d31tree | snapshot
parent465b404a36a94d9b4ec9d1368a5070e731d82badcommit | diff
Minor fixings.
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.