Next:
Introduction
COBA 2.0 Manual
Daphne Liu <daphnel@cs.sfu.ca>
Introduction
Getting Started
Compiling the Source Code
The COBA 2.0 Command-line Tool
Running the Command-line Tool Script
Using the Command-line Tool
Using the COBA 2.0 Applet
Using the Applet Menu
File Menu
Settings Menu
Screen Menu
Help Menu
The Main Screen
The Integrity Constraints Screen
The History Screen
Syntax
Encoding Input Files
Input Checks
Syntactical Checks
Consistency Checks
The First Examples
Revision
Contraction
Merging
About this document ...
Daphne Liu 2006-01-23
