August 16, 1995.  mace 1.2.0 released

April 1996.  New print option -P, for printing in "portable format",
	which is for reading into another program (eqp semantic para).

	Result is mace-1.2.0a

Sept 26, 1996.
	1.  New option -c, for distinct constants (up to n).
	    This should work correctly with domain elemnts in
	    clauses and special unit assignments, but NOT with -z.
	2.  time limit is checked during generation of prop. clauses
	    (after processing of each FO clause).
	3.  For printing models, "-" changed to "T" in relations.
  
        Result is mace-1.3

July 2, 1997 (in preparation for CASC-14).

	1. bug: crash if arity too great.  fixed.
	2. It used to abend if propositional unsatisfiability was
	   detected in add_clause (e.g., conflicting units).
	   Now, call exit(UNSATISFIABLE_EXIT) in that case.
	Result is mace-1.3.1

Nov 4, 1997.
	Changed MAX_CLAUSES from 100 to 500 (so we could do Dale Myers'
	zebra problem).

Dec 1, 1997.
	Changed tp_alloc_size from 300,000 to 1,000,000 (for M. Spinks prob).
	result it mace-1.3.2.

Dec 7, 1998.  
        1. Bug from Branden Fitelson: When printing relations,
        the nondetermined atoms (atom_value() = 2) should be "F",
        because the propositional engine selects positive clauses,
        and no more positive clauses (the termination condition),
	means that the unassigned atoms should be "F".  The error
	was introduced in mace-1.3 above, item 3.

	2. Increase default max-mem from 16MB to 48 MB.

        result is mace-1.3.3.

June, 1999.
	New command-line option -I to print models in Ivy format.

April, 2000.	

	Release mace-1.3.4
