doc/iotcloud.aux
doc/iotcloud.log
doc/iotcloud.pdf
-version2/doc/iotcloud.aux
-version2/doc/iotcloud.log
-version2/doc/iotcloud.pdf
-version2/doc/iotcloud.out
+version2/doc/iotcloud_formal/iotcloud.aux
+version2/doc/iotcloud_formal/iotcloud.log
+version2/doc/iotcloud_formal/iotcloud.pdf
+version2/doc/iotcloud_formal/iotcloud.out
+version2/doc/iotcloud_informal/iotcloud.aux
+version2/doc/iotcloud_informal/iotcloud.log
+version2/doc/iotcloud_informal/iotcloud.pdf
+version2/doc/iotcloud_informal/iotcloud.out
+