]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c185063) | patch
Added abstract.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:58:18 +0000 (15:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:58:18 +0000 (15:58 +0000)
commit400e74f81d628d66e57aa4f83fd8cc299abc0506
tree70f681163217fbf6ad488b3422ecd6822e496faatree | snapshot
parentc1850635a5915a9e45e469e5cb433f3cd20e454acommit | diff
Added abstract.
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.