Change to the spec...missed a consistency property. Adding timing option.
authorbdemsky <bdemsky>
Mon, 16 Aug 2004 20:54:16 +0000 (20:54 +0000)
committerbdemsky <bdemsky>
Mon, 16 Aug 2004 20:54:16 +0000 (20:54 +0000)
commitfcb08dbb9564da3732dd8b0cbf0088d0f9826541
tree2454041d91ecddb735d1a5f1c7cce11a790ae189
parent7f291611f4c559aca2ef3a01f205287fca8f1e7a
Change to the spec...missed a consistency property.  Adding timing option.
Repair/RepairCompiler/MCC/CLI.java
Repair/RepairCompiler/MCC/Compiler.java
Repair/RepairCompiler/MCC/IR/RepairGenerator.java
Repair/RepairCompiler/MCC/specs/abiword/abi.constraints
Repair/RepairCompiler/MCC/specs/abiword/abi.model
Repair/RepairCompiler/MCC/specs/abiword/abi.space