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.

source: branches/f4grobner/criterion.lisp

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4180   8 years Marek Rychlik * empty log message *
(edit) @4174   8 years Marek Rychlik Summary: Made Buchberger criteria generic
(edit) @4173   8 years Marek Rychlik * empty log message *
(edit) @4125   8 years Marek Rychlik * empty log message *
(edit) @4124   8 years Marek Rychlik * empty log message *
(edit) @4123   8 years Marek Rychlik * empty log message *
(edit) @1968   9 years Marek Rychlik * empty log message *
(edit) @1617   9 years Marek Rychlik * empty log message *
(edit) @1296   9 years Marek Rychlik * empty log message *
(edit) @1201   9 years Marek Rychlik Changed the first line to eliminate 'unsafe' Emacs variables
(edit) @484   9 years Marek Rychlik * empty log message *
(edit) @483   9 years Marek Rychlik * empty log message *
(edit) @482   9 years Marek Rychlik * empty log message *
(edit) @481   9 years Marek Rychlik * empty log message *
(edit) @478   9 years Marek Rychlik * empty log message *
(edit) @477   9 years Marek Rychlik * empty log message *
(edit) @476   9 years Marek Rychlik * empty log message *
(edit) @475   9 years Marek Rychlik * empty log message *
(edit) @474   9 years Marek Rychlik * empty log message *
(edit) @192   9 years Marek Rychlik
(edit) @146   9 years Marek Rychlik * empty log message *
(edit) @74   9 years Marek Rychlik * empty log message *
(add) @62   9 years Marek Rychlik * empty log message *
Note: See TracRevisionLog for help on using the revision log.