]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c334523) | patch
fixed some typos
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Oct 2005 13:20:11 +0000 (13:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Oct 2005 13:20:11 +0000 (13:20 +0000)
commitd928ebab750b6ac49b3ae97e2f9d1634c18a43fa
tree1f9c35a7245fdc2b857106f6226b88c90512a54btree | snapshot
parentc334523c4ff9b584ac108097fa6430e29f935e8fcommit | diff
fixed some typos
helm/papers/system_T/Makefile [new file with mode: 0644] blob
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.