« Axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables » : historique des versions

1 août 2018

• actudiff 18:101 août 2018 à 18:10‎ Crochet.david.bot discussion contributions‎ m 34 918 octets +4‎ Robot : Remplacement de texte automatisé (-\b(a priori(''')?)(?=[\s,.)]|$) +''\1'') annuler

1 août 2017

• actudiff 15:041 août 2017 à 15:04‎ Crochet.david.bot discussion contributions‎ m 34 914 octets +26‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

28 décembre 2016

• actudiff 14:5628 décembre 2016 à 14:56‎ Crochet.david.bot discussion contributions‎ m 34 888 octets −2‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler
• actudiff 14:4928 décembre 2016 à 14:49‎ Crochet.david.bot discussion contributions‎ m 34 890 octets −4‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler

18 mai 2016

• actudiff 16:0618 mai 2016 à 16:06‎ Crochet.david.bot discussion contributions‎ m 34 894 octets +2‎ Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence ) annuler

18 avril 2016

• actudiff 18:3818 avril 2016 à 18:38‎ Crochet.david.bot discussion contributions‎ m 34 892 octets +2‎ Robot : Remplacement de texte automatisé (- l'ordre + l’ordre ) annuler

19 septembre 2014

• actudiff 22:3019 septembre 2014 à 22:30‎ JackBot discussion contributions‎ m 34 890 octets −165‎ Autoformatage, retrait de la clé de tri annuler

5 mai 2014

• actudiff 07:075 mai 2014 à 07:07‎ Crochet.david.bot discussion contributions‎ m 35 055 octets −1‎ Robot : Remplacement de texte automatisé (- +(:|;|\!|\?|») + \1) annuler

10 mars 2013

• actudiff 08:3310 mars 2013 à 08:33‎ Lydie Noria discussion contributions‎ 35 056 octets +31‎ maintenance annuler

23 décembre 2012

• actudiff 17:4023 décembre 2012 à 17:40‎ Crochet.david.bot discussion contributions‎ m 35 025 octets 0‎ Robot : Remplacement de texte automatisé (-\{\{[cC]hapitre(.*)\{\{[Cc]lé de tri\s*\|([^\}]*)\}\}(.*) +{{Chapitre\n | clé = \2\1\3) annuler

7 août 2012

• actudiff 18:137 août 2012 à 18:13‎ Crochet.david.bot discussion contributions‎ m 35 025 octets −127‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

28 février 2012

• actudiff 21:2328 février 2012 à 21:23‎ JackBot discussion contributions‎ m 35 152 octets +162‎ Autoformatage annuler

5 février 2012

• actudiff 20:355 février 2012 à 20:35‎ Crochet.david.bot discussion contributions‎ m 34 990 octets −5‎ Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) annuler

17 septembre 2011

• actudiff 13:1817 septembre 2011 à 13:18‎ JackBot discussion contributions‎ m 34 995 octets −52‎ Retrait des catégories en double annuler

12 août 2011

• actudiff 17:1612 août 2011 à 17:16‎ Crochet.david.bot discussion contributions‎ m 35 047 octets +1‎ Robot : Remplacement de texte automatisé (-\n\s*\|\s*numero +\n | numéro) annuler

28 avril 2011

• actudiff 12:0728 avril 2011 à 12:07‎ Crochet.david.bot discussion contributions‎ m 35 046 octets −42‎ Robot : Remplacement de texte automatisé (-\s*\|\s*leçon\s*=\s*\[\[\.\.\/\]\] +) annuler

4 février 2011

• actudiff 20:504 février 2011 à 20:50‎ Cynddl discussion contributions‎ m 35 088 octets +14‎ →‎Les termes annuler
• actudiff 20:484 février 2011 à 20:48‎ Cynddl discussion contributions‎ m 35 074 octets +85‎ →‎Les fonctions ensemblistes annuler
• actudiff 20:444 février 2011 à 20:44‎ Cynddl discussion contributions‎ m 34 989 octets +45‎ →‎Les expressions formelles annuler

9 juin 2010

• actudiff 15:289 juin 2010 à 15:28‎ Crochet.david.bot discussion contributions‎ m 34 944 octets 0‎ Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 ») annuler

12 avril 2010

• actudiff 15:0812 avril 2010 à 15:08‎ Crochet.david.bot discussion contributions‎ m 34 944 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *numero *= *(..?) + | numero = \1) annuler

23 mars 2010

• actudiff 21:0723 mars 2010 à 21:07‎ Crochet.david.bot discussion contributions‎ m 34 936 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) annuler

6 mars 2010

• actudiff 10:116 mars 2010 à 10:11‎ Crochet.david.bot discussion contributions‎ m 34 928 octets +10‎ Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) annuler

25 février 2010

• actudiff 14:4525 février 2010 à 14:45‎ Crochet.david.bot discussion contributions‎ m 34 918 octets +10‎ Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../) annuler

30 novembre 2009

• actudiff 20:5430 novembre 2009 à 20:54‎ Crochet.david.bot discussion contributions‎ m 34 908 octets +1‎ Robot : Changement de type cosmétique annuler

12 août 2009

• actudiff 16:2512 août 2009 à 16:25‎ Crochet.david.bot discussion contributions‎ m 34 907 octets +1‎ Robot : Changement de type cosmétique annuler

5 août 2009

• actudiff 16:205 août 2009 à 16:20‎ Xzapro4 discussion contributions‎ m 34 906 octets −4‎ Modification de la catégorie Catégorie:Les axiomes des théories des ensembles → Catégorie:Axiomes des théories des ensembles (avec HotCats) annuler
• actudiff 16:165 août 2009 à 16:16‎ Xzapro4 discussion contributions‎ m 34 910 octets −193‎ Update navchap, recat annuler
• actudiff 16:105 août 2009 à 16:10‎ Xzapro4 discussion contributions‎ m 35 103 octets 0‎ a renommé Fondements des mathématiques/Les axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables en [[Axiomes des théories des ensembles/Formules in annuler

27 décembre 2008

• actudiff 11:0427 décembre 2008 à 11:04‎ Crochet.david.bot discussion contributions‎ m 35 103 octets −9‎ Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) annuler

7 mars 2008

• actudiff 20:167 mars 2008 à 20:16‎ Crochet.david.bot discussion contributions‎ m 35 112 octets 0‎ Bot : Remplacement de texte automatisé (-... +…) annuler

20 janvier 2008

• actudiff 12:3320 janvier 2008 à 12:33‎ Crochet.david.bot discussion contributions‎ m 35 112 octets +1‎ Bot : Remplacement de texte automatisé (-\b(T|t)h?[éeèê]orr?i(es?|ques?|quement|ciens?|ciennes?|ser|sée?s?|ses?|si?ons|si?ez|sent|sai?s?|sait|saient|serai?s?|serait|seraient|seront|seri?ons|seri?ez)\b +\1héori\2) annuler

9 décembre 2007

• actudiff 08:579 décembre 2007 à 08:57‎ Crochet.david discussion contributions‎ 35 111 octets +16‎ Aucun résumé des modifications annuler

1 novembre 2007

• actudiff 16:091 novembre 2007 à 16:09‎ Karl1263 discussion contributions‎ m 35 095 octets −8‎ Aucun résumé des modifications annuler

4 octobre 2007

• actudiff 17:144 octobre 2007 à 17:14‎ Crochet.david discussion contributions‎ 35 103 octets +617‎ catégorisation - ajout/modif navigateur de chapitre annuler

18 août 2007

• actudiff 09:3518 août 2007 à 09:35‎ Crochet.david.bot discussion contributions‎ m 34 486 octets +1‎ Bot : Remplacement de texte automatisé (-\bEtre\b +Être) annuler

17 août 2007

• actudiff 15:4817 août 2007 à 15:48‎ Crochet.david.bot discussion contributions‎ m 34 485 octets +23‎ Bot : Remplacement de texte automatisé (-\bE(b|c[aeiloru]|d[airu]|den|f[ar]|g[aéi]|go[cïrstu]) +É\1) annuler

10 août 2007

• actudiff 10:0910 août 2007 à 10:09‎ Crochet.david.bot discussion contributions‎ m 34 462 octets +28‎ Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6) annuler

9 août 2007

• actudiff 16:369 août 2007 à 16:36‎ Crochet.david.bot discussion contributions‎ m 34 434 octets 0‎ Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler

26 mai 2007

• actudiff 16:3726 mai 2007 à 16:37‎ Crochet.david discussion contributions‎ 34 434 octets +41‎ →‎Conclusion : la définition du système Enum de toutes les vérités atomiques d’appartenance à tous les ensembles énumérables : mep annuler

1 mai 2007

• actudiff 22:391 mai 2007 à 22:39‎ Julien1311 discussion contributions‎ m 34 393 octets +32‎ à scinder annuler

21 avril 2007

• actudiff 21:0921 avril 2007 à 21:09‎ Julien1311 discussion contributions‎ m 34 361 octets −8‎ cat annuler
• actudiff 21:0921 avril 2007 à 21:09‎ Julien1311 discussion contributions‎ m 34 369 octets 0‎ 7 version(s) depuis b:Fondements des mathématiques/Les axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables annuler

12 février 2007

• actudiff 22:0212 février 2007 à 22:02‎ imported>Tavernierbot‎ m 34 369 octets +54‎ Robot : ajoute Catégorie:Fondements_des_mathématiques (livre) annuler

17 novembre 2006

• actudiff 14:5317 novembre 2006 à 14:53‎ imported>Tavernierbot‎ m 34 315 octets +37‎ Bot: Retouches cosmétiques annuler

29 octobre 2006

• actudiff 21:5529 octobre 2006 à 21:55‎ David Legrand discussion contributions‎ m 34 278 octets 0‎ Fondements des mathématiques:Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables déplacé vers [[Fondements des mathématiques/Les axiomes des théories des ensembles/Formules initial annuler

1 mars 2005

• actudiff 04:021 mars 2005 à 04:02‎ Thierry Dugnolle discussion contributions‎ 34 278 octets +83‎ →‎Des opérateurs ensemblistes dérivés : correction annuler
• actudiff 03:551 mars 2005 à 03:55‎ Thierry Dugnolle discussion contributions‎ m 34 195 octets 0‎ →‎Des opérateurs ensemblistes dérivés : correction Z et Z' interchangés annuler

27 février 2005

• actudiff 20:4627 février 2005 à 20:46‎ Thierry Dugnolle discussion contributions‎ 34 195 octets −215‎ correction terminologique : vrai au lieu de prouvable annuler

24 février 2005

• actudiff 14:5824 février 2005 à 14:58‎ Thierry Dugnolle discussion contributions‎ 34 410 octets +34 410‎ Création