projects / iotcloud.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 694aaf2) | patch
Cleaning up proof part
authorrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 22:37:32 +0000 (15:37 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 22:37:32 +0000 (15:37 -0700)
commitb3268a5e142973ff90796c2afab456b5a22fce4c
tree36f983a3faf33b6e50967404b254bb4e071cf146tree | snapshot
parent694aaf2c6313b2c120f72e4c6b71eede56879695commit | diff
Cleaning up proof part
doc/iotcloud.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.