Changeset 51 in CGBLisp


Ignore:
Timestamp:
Feb 1, 2009, 11:12:16 PM (15 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/prover.lisp

    r14 r51  
    1919(in-package "PROVER")
    2020
    21 (proclaim '(optimize (speed 0) (debug 3)))
     21(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 0)))
    2222
    2323(defvar *prover-order* #'grevlex>
Note: See TracChangeset for help on using the changeset viewer.