diff --git a/courseA/ST_Alloy.html b/courseA/ST_Alloy.html index 5b6f8b5..ba53683 100644 --- a/courseA/ST_Alloy.html +++ b/courseA/ST_Alloy.html @@ -19,7 +19,8 @@

ここでは,SimpleTwitter の Alloy による仕様記述に関する課題に取り組んでいただきます.
- 以下に Alloy で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に Alloy で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ Alloy の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseA/ST_DTRAM.html b/courseA/ST_DTRAM.html index 6378c73..da23c2a 100644 --- a/courseA/ST_DTRAM.html +++ b/courseA/ST_DTRAM.html @@ -19,7 +19,8 @@

ここでは,SimpleTwitter の DTRAM による仕様記述に関する課題に取り組んでいただきます.
- 以下に DTRAM で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に DTRAM で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ DTRAM の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseB/IM_Alloy_B.html b/courseB/IM_Alloy_B.html index 7aa6d5c..d656fc8 100644 --- a/courseB/IM_Alloy_B.html +++ b/courseB/IM_Alloy_B.html @@ -19,7 +19,8 @@

ここでは,InventoryManagement の Alloy による仕様記述に関する課題に取り組んでいただきます.
- 以下に Alloy で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に Alloy で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ Alloy の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseB/IM_DTRAM_B.html b/courseB/IM_DTRAM_B.html index 1943f21..86e8b93 100644 --- a/courseB/IM_DTRAM_B.html +++ b/courseB/IM_DTRAM_B.html @@ -19,7 +19,8 @@

ここでは,InventoryManagement の DTRAM による仕様記述に関する課題に取り組んでいただきます.
- 以下に DTRAM で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に DTRAM で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ DTRAM の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseC/ST_Alloy_C.html b/courseC/ST_Alloy_C.html index b2a441e..492c031 100644 --- a/courseC/ST_Alloy_C.html +++ b/courseC/ST_Alloy_C.html @@ -19,7 +19,8 @@

ここでは,SimpleTwitter の Alloy による仕様記述に関する課題に取り組んでいただきます.
- 以下に Alloy で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に Alloy で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ Alloy の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseC/ST_DTRAM_C.html b/courseC/ST_DTRAM_C.html index 7485b82..ab09216 100644 --- a/courseC/ST_DTRAM_C.html +++ b/courseC/ST_DTRAM_C.html @@ -19,7 +19,8 @@

ここでは,SimpleTwitter の DTRAM による仕様記述に関する課題に取り組んでいただきます.
- 以下に DTRAM で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に DTRAM で記述された SimpleTwitter のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ DTRAM の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseD/IM_Alloy_D.html b/courseD/IM_Alloy_D.html index 9093cdc..93e9f60 100644 --- a/courseD/IM_Alloy_D.html +++ b/courseD/IM_Alloy_D.html @@ -19,7 +19,8 @@

ここでは,InventoryManagement の Alloy による仕様記述に関する課題に取り組んでいただきます.
- 以下に Alloy で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に Alloy で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ Alloy の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)


diff --git a/courseD/IM_DTRAM_D.html b/courseD/IM_DTRAM_D.html index e8f1ab0..bcdc9cf 100644 --- a/courseD/IM_DTRAM_D.html +++ b/courseD/IM_DTRAM_D.html @@ -19,7 +19,8 @@

ここでは,InventoryManagement の DTRAM による仕様記述に関する課題に取り組んでいただきます.
- 以下に DTRAM で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください. + 以下に DTRAM で記述された InventoryManagement のモデルを示します.こちらを適宜参照しながら課題を進めてください.
+ DTRAM の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)