source: git/m4/flint-check.m4

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @0fd171   12 years Oleksandr no flint detection/usage by default NOTE: using flint leads to ... fieker-DuValspielwiese
(edit) @401911   12 years martinlee84 chg: checking of FLINT version fieker-DuValspielwiese
(add) @97a059   12 years martinlee84 Started fork swSingularFlint from spielwiese chg: changed build ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.