Alloyの課題を変更し,モデルファイルを修正した.
|
---|
|
models/Alloy/InventoryManagement.als |
---|
models/Alloy/InventoryManagementCheckMinus.als 0 → 100644 |
---|
models/Alloy/InventoryManagementShippingReceiving.als 0 → 100644 |
---|
models/Alloy/SimpleTwitter.als |
---|
models/Alloy/SimpleTwitterChangeName.als 0 → 100644 |
---|
models/Alloy/SimpleTwitterDuplicationCheck.als 0 → 100644 |
---|