aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/Fourier.v
AgeCommit message (Collapse)Author
2018-07-17Remove fourier pluginMaxime Dénès
As stated in the manual, the fourier tactic is subsumed by lra.
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-12Require SplitAbsolu -> Require Rfunctions pour compatibilite avec la ↵desmettr
nouvelle organisation des reels git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3424 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20test Fourier, DiscrRmayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1659 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 10:31:50 +0000