close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1646


Ignore:
Timestamp:
2015-06-14T20:24:57-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1645 r1646  
    145145   ((symbolp order)
    146146    (case order
    147       ((lex :lex $lex) #'lex>)
    148       ((grlex :grlex $grlex) #'grlex>)
    149       ((grevlex :grevlex $grevlex) #'grevlex>)
    150       ((invlex :invlex $invlex) #'invlex>)
     147      ((lex :lex $lex #:lex) #'lex>)
     148      ((grlex :grlex $grlex #:grlex) #'grlex>)
     149      ((grevlex :grevlex $grevlex #:grevlex) #'grevlex>)
     150      ((invlex :invlex $invlex #:invlex) #'invlex>)
    151151      (otherwise
    152152       (mtell "~%Warning: Order ~M not found. Using default.~%" order))))
Note: See TracChangeset for help on using the changeset viewer.