projects / iotcloud.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f86a19b) | patch
More clean-ups for proof part
authorrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 23:18:36 +0000 (16:18 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 23:18:36 +0000 (16:18 -0700)
commiteebed07efef8749eed766cbc3682a0038265aa44
treed9a77de43d36e33c37967f1db461f6ddb126e6datree | snapshot
parentf86a19b02daba474e44589ef4f72f6cf365a76c1commit | diff
More clean-ups for proof part
doc/iotcloud.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.