« Logique (mathématiques)/Logiques d'ordre supérieur » : historique des versions

19 septembre 2014

• actudiff 22:4419 septembre 2014 à 22:44‎ JackBot discussion contributions‎ m 2 679 octets −68‎ Autoformatage, retrait de la clé de tri annuler

22 février 2013

• actudiff 09:0622 février 2013 à 09:06‎ Lydie Noria discussion contributions‎ 2 747 octets +25‎ maintenance annuler

23 décembre 2012

• actudiff 17:3823 décembre 2012 à 17:38‎ Crochet.david.bot discussion contributions‎ m 2 722 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 17:517 août 2012 à 17:51‎ Crochet.david.bot discussion contributions‎ m 2 722 octets −41‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

4 mars 2012

• actudiff 17:304 mars 2012 à 17:30‎ JackBot discussion contributions‎ m 2 763 octets +65‎ Autoformatage annuler

17 septembre 2011

• actudiff 13:0617 septembre 2011 à 13:06‎ JackBot discussion contributions‎ m 2 698 octets −41‎ Retrait des catégories en double annuler

12 août 2011

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

26 avril 2011

• actudiff 18:4026 avril 2011 à 18:40‎ Crochet.david.bot discussion contributions‎ m 2 738 octets −42‎ Utilisation du paramètre par défaut du modèle annuler

12 avril 2010

• actudiff 15:0612 avril 2010 à 15:06‎ Crochet.david.bot discussion contributions‎ m 2 780 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 2 772 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) annuler

10 mars 2010

• actudiff 22:0010 mars 2010 à 22:00‎ Crochet.david.bot discussion contributions‎ m 2 764 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *suivant *= *\[\[([^\/]*)\/([^\/]*)\/\]\]\}\} + | suivant = ../\2/\n}}) annuler

6 mars 2010

• actudiff 11:266 mars 2010 à 11:26‎ Crochet.david.bot discussion contributions‎ m 2 756 octets −22‎ Robot : Remplacement de texte automatisé (- *\|\s?titre_leçon\s?=\s?(.*)\n +) annuler
• actudiff 08:436 mars 2010 à 08:43‎ Crochet.david.bot discussion contributions‎ m 2 778 octets +10‎ Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) annuler

25 février 2010

• actudiff 18:1225 février 2010 à 18:12‎ Crochet.david.bot discussion contributions‎ m 2 768 octets −6‎ Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../) annuler

4 août 2009

• actudiff 18:034 août 2009 à 18:03‎ Xzapro4 discussion contributions‎ m 2 774 octets −425‎ Update navchap, recat annuler
• actudiff 17:444 août 2009 à 17:44‎ Xzapro4 discussion contributions‎ m 3 199 octets 0‎ a renommé Fondements des mathématiques/La logique/Logiques d'ordre supérieur en Logique (mathématiques)/Logiques d'ordre supérieur : Cours à part entier annuler

27 décembre 2008

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

7 mars 2008

• actudiff 20:147 mars 2008 à 20:14‎ Crochet.david.bot discussion contributions‎ m 3 200 octets +1‎ Bot : Remplacement de texte automatisé (-... +…); changement de type cosmétique annuler

4 octobre 2007

• actudiff 19:244 octobre 2007 à 19:24‎ Sharayanan discussion contributions‎ m 3 199 octets +25‎ titre_leçon annuler
• actudiff 17:014 octobre 2007 à 17:01‎ Crochet.david discussion contributions‎ 3 174 octets +9‎ catégorisation annuler

23 août 2007

• actudiff 15:0123 août 2007 à 15:01‎ Xzapro4 discussion contributions‎ m 3 165 octets +101‎ +lien suivant annuler
• actudiff 15:0023 août 2007 à 15:00‎ Xzapro4 discussion contributions‎ m 3 064 octets +295‎ Bas de Page annuler

7 juillet 2007

• actudiff 16:397 juillet 2007 à 16:39‎ Crochet.david discussion contributions‎ 2 769 octets +452‎ créa annuler

14 avril 2007

• actudiff 20:1614 avril 2007 à 20:16‎ Julien1311 discussion contributions‎ m 2 317 octets −8‎ cat annuler
• actudiff 20:1614 avril 2007 à 20:16‎ Julien1311 discussion contributions‎ m 2 325 octets 0‎ 4 version(s) depuis b:Fondements des mathématiques/La logique/Logiques d'ordre supérieur annuler

12 février 2007

• actudiff 22:0112 février 2007 à 22:01‎ imported>Tavernierbot‎ m 2 325 octets +54‎ Robot : ajoute Catégorie:Fondements_des_mathématiques (livre) annuler

29 octobre 2006

• actudiff 20:5429 octobre 2006 à 20:54‎ David Legrand discussion contributions‎ m 2 271 octets 0‎ Fondements des mathématiques: les logiques d'ordre supérieur déplacé vers Fondements des mathématiques/La logique/Logiques d'ordre supérieur: Tentative de réunification des feuilles volantes annuler

8 août 2006

• actudiff 14:278 août 2006 à 14:27‎ Malosse discussion contributions‎ m 2 271 octets 0‎ Coquille annuler

2 mars 2005

• actudiff 23:042 mars 2005 à 23:04‎ Thierry Dugnolle discussion contributions‎ 2 271 octets +2 271‎ Création