projects / iotcloud.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1777896) | patch
A few more minor fixes in proof 2.2.2
authorrtrimana <rtrimana@uci.edu>
Mon, 8 Aug 2016 17:35:48 +0000 (10:35 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 8 Aug 2016 17:35:48 +0000 (10:35 -0700)
commit77f03b38bf11ab6f0ac307e4192205f3d6ca2664
treeb270b2c3fe7771dba636b6dad59961bd158a88adtree | snapshot
parent1777896529565a74cbb35f3d9a03c2310d160f68commit | diff
A few more minor fixes in proof 2.2.2
doc/iotcloud.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.