Changeset 8 in CGBLisp for src/prover.lisp


Ignore:
Timestamp:
Jan 26, 2009, 10:23:33 PM (15 years ago)
Author:
Marek Rychlik
Message:

Moving sources into trunk

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/prover.lisp

    r1 r8  
    1919(in-package "PROVER")
    2020
    21 #+debug(proclaim '(optimize (speed 0) (debug 3)))
    22 #-debug(proclaim '(optimize (speed 3) (safety 0)))
     21(proclaim '(optimize (speed 0) (debug 3)))
    2322
    2423(defvar *prover-order* #'grevlex>
Note: See TracChangeset for help on using the changeset viewer.