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 ... spielwiese
(edit) @401911   12 years martinlee84 chg: checking of FLINT version spielwiese
(add) @97a059   12 years martinlee84 Started fork swSingularFlint from spielwiese chg: changed build ... spielwiese
Note: See TracRevisionLog for help on using the revision log.