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 の説明をもう一度ご覧になりたい方はこちらへ(別タブが開きます)