Tree @lintian-fixes/main (Download .tar.gz)
- ..
- Abstract
- Cauchy
- Alembert.v
- AltSeries.v
- ArithProp.v
- Binomial.v
- Cauchy_prod.v
- ClassicalConstructiveReals.v
- ClassicalDedekindReals.v
- Cos_plus.v
- Cos_rel.v
- DiscrR.v
- Exp_prop.v
- Integration.v
- Machin.v
- MVT.v
- NewtonInt.v
- PartSum.v
- PSeries_reg.v
- R_Ifp.v
- R_sqr.v
- R_sqrt.v
- Ranalysis.v
- Ranalysis1.v
- Ranalysis2.v
- Ranalysis3.v
- Ranalysis4.v
- Ranalysis5.v
- Ranalysis_reg.v
- Ratan.v
- Raxioms.v
- Rbase.v
- Rbasic_fun.v
- Rcomplete.v
- Rdefinitions.v
- Rderiv.v
- Reals.v
- Rfunctions.v
- Rgeom.v
- RiemannInt.v
- RiemannInt_SF.v
- RIneq.v
- Rlimit.v
- RList.v
- Rlogic.v
- Rminmax.v
- ROrderedType.v
- Rpow_def.v
- Rpower.v
- Rprod.v
- Rregisternames.v
- Rseries.v
- Rsigma.v
- Rsqrt_def.v
- Rtopology.v
- Rtrigo.v
- Rtrigo1.v
- Rtrigo_alt.v
- Rtrigo_calc.v
- Rtrigo_def.v
- Rtrigo_facts.v
- Rtrigo_fun.v
- Rtrigo_reg.v
- Runcountable.v
- SeqProp.v
- SeqSeries.v
- SplitAbsolu.v
- SplitRmult.v
- Sqrt_reg.v
History of theories / Reals @lintian-fixes/main
- New upstream version 8.16.0+dfsg Julien Puydt 1 year, 7 months ago
- New upstream version 8.15.0+dfsg Julien Puydt 2 years ago
- New upstream version 8.14.0+dfsg Julien Puydt 2 years ago
- New upstream version 8.12.0 Ralf Treinen 3 years ago
- New upstream version 8.11.0 Ralf Treinen 4 years ago
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- Imported Upstream version 8.9.0 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.8.2 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.6 Enrico Tassi 7 years ago
- Imported Upstream version 8.5 Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta2+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4pl4dfsg Stephane Glondu 9 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3~rc1+dfsg Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2-1+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1+dfsg Samuel Mimram 17 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl3 Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago