From 4fff3b00ccccdf2372a60c6b1d6419264190036f Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Thu, 17 Jul 2008 14:12:28 +0000 Subject: [PATCH] Update of README files --- doc/README_tml | 5 +++++ doc/README_uppaal | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 doc/README_tml create mode 100644 doc/README_uppaal diff --git a/doc/README_tml b/doc/README_tml new file mode 100644 index 0000000000..5ca05cf572 --- /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 0000000000..4afeb66886 --- /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 -- GitLab