Changeset 8 in CGBLisp for src/string-grobner.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/string-grobner.lisp

    r1 r8  
    3030(in-package "STRING-GROBNER")
    3131
    32 #+debug(proclaim '(optimize (speed 0) (debug 3)))
    33 #-debug(proclaim '(optimize (speed 3) (debug 0)))
     32(proclaim '(optimize (speed 0) (debug 3)))
    3433
    3534(defun string-normal-form (f fl vars
Note: See TracChangeset for help on using the changeset viewer.