diff --git a/doc/README_tml b/doc/README_tml new file mode 100644 index 0000000000000000000000000000000000000000..5ca05cf572b858aa03ed7bea4acf2256c236933a --- /dev/null +++ b/doc/README_tml @@ -0,0 +1,5 @@ +TTool, an open-source UML toolkit for modeling embedded systems and procotols. +TTool is developed at ENST, http://labsoc.comelec.enst.fr/turtle/ +------------------------------------------------------------------------------- + +The tmlcode directory is intended to store the TML / TMAP files generated from TTool. To generate these files, please refer to http://labsoc.comelec.enst.fr/turtle/HELP \ No newline at end of file diff --git a/doc/README_uppaal b/doc/README_uppaal new file mode 100644 index 0000000000000000000000000000000000000000..4afeb66886c3aa72bf07e1c77ccf256690e8c9a8 --- /dev/null +++ b/doc/README_uppaal @@ -0,0 +1,5 @@ +TTool, an open-source UML toolkit for modeling embedded systems and procotols. +TTool is developed at ENST, http://labsoc.comelec.enst.fr/turtle/ +------------------------------------------------------------------------------- + +The uppaal directory is intended to store the uppaal files generated from TTool. To generate these files, please refer to http://labsoc.comelec.enst.fr/turtle/HELP \ No newline at end of file