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.

Ignore:
Timestamp:
2015-06-11T21:30:43-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner-package.lisp

    r1201 r1312  
    7575   "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION"
    7676   "IDEAL-POLYSATURATION-1" "IDEAL-SATURATION" "IDEAL-SATURATION-1"
    77    "BUCHBERGER" "BUCHBERGER-CRITERION"
     77   "BUCHBERGER" "PARALLEL-BUCHBERGER" "BUCHBERGER-CRITERION"
    7878   ;;
    7979   ;; Low-level functions
Note: See TracChangeset for help on using the changeset viewer.