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 442


Ignore:
Timestamp:
2015-06-06T19:58:52-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner-package.lisp

    r354 r442  
    5959 important!"
    6060  (dolist (file '("ngrobner-package" "utils" "ngrobner" "monomial"
    61                   "order" "order-mk" "term" "termlist" "polynomial" "priority-queue"
     61                  "order" "term" "termlist" "polynomial" "priority-queue"
    6262                  "pair-queue" "division" "criterion" "buchberger" "gebauer-moeller"
    6363                  "gb-postprocessing" "ideal"))
Note: See TracChangeset for help on using the changeset viewer.