1.1.1 Version |
------------------------------------------------------- --- ___/ ___/ \ --- -- / _ \ / _ \ , \ -- -- \ | | \ | | ___ \ -- --- ____, __/ ____, __/ _/ _\ --- ------------------------------------------------------- -- Online Help : CoCoA 4.7 -- -- date : 2008/Nov/23 -- -------------------------------------------------------