What's new

• CafeOBJ ver.1.4.2beta9 is now available! (17 March, 1999)
• Two CafeOBJ related events are added to the activities page.
• CafeOBJ ver.1.4.2(b3+) is available. (11 August, 1998)
• New CafeOBJ manual (ver.1.4) is available. (11 August, 1998)
• Restructured this home page. (1 June, 1998)