aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Fourier.v
Commit message (Collapse)AuthorAge
* Remove fourier pluginGravatar Maxime Dénès2018-07-17
| | | | As stated in the manual, the fourier tactic is subsumed by lra.
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7
* Require SplitAbsolu -> Require Rfunctions pour compatibilite avec la ↵Gravatar desmettr2002-12-12
| | | | | | nouvelle organisation des reels git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3424 85f007b7-540e-0410-9357-904b9bb8a0f7
* test Fourier, DiscrRGravatar mayero2001-04-20
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.39.1) at 2024-06-08 04:16:10 +0000