source: git/kernel/f5c.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @d24881   13 years Christian Eder 1. deletes HAVE_F5C 2. updates F5 files in kernel spielwiese
(edit) @eedd22   13 years hannes kernel/pInline1.h -> libpolys/polys/polys.h spielwiese
(edit) @76cfef   13 years Oleksandr FIX: fixed #includes in the kernel/ sources ADD: dummy headers in ... spielwiese
(edit) @210e07   13 years Oleksandr ADD: testing headers with "make test.o" FIX: cleaning up headers in ... spielwiese
(edit) @599326   14 years krueger Anne, Kai, Frank: - changes to #include "..." statements to allow ... spielwiese
(edit) @e44367   15 years Christian Eder first implementation of classes Label, CPair and RuleAndShort ... spielwiese
(edit) @ae625f   15 years Christian Eder getting all this renaming stuff done git-svn-id: ... spielwiese
(edit) @df638fb   15 years Christian Eder renamed "f5data.cc" -> "F5cdata.cc" git-svn-id: ... spielwiese
(add) @030573   15 years Christian Eder new files for new F5C version git-svn-id: ... spielwiese
Note: See TracRevisionLog for help on using the revision log.