Jump to content

Category:Type theory: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 19:2319:23, 22 April 2020‎ 50.26.172.216 talk‎ 599 bytes +15‎ No edit summary undo

curprev 04:3004:30, 10 July 2019‎ BrownHairedGirl talk contribs‎ m 584 bytes −33‎ remove links to deleted portals undo Tag: AWB

curprev 04:4104:41, 25 February 2019‎ Dreamy Jazz Bot talk contribs‎ m 617 bytes +34‎ Adding link to Portal:Information technology. (Task 2 - report errors here) undo

curprev 05:5805:58, 3 April 2018‎ JarBot talk contribs‎ m 583 bytes +33‎ Bot:add Commons category undo

curprev 07:4207:42, 23 March 2013‎ Addbot talk contribs‎ m 550 bytes −473‎ Bot: Migrating 14 interwiki links, now provided by Wikidata on d:q7451631 undo

curprev 07:2607:26, 24 May 2012‎ Gregbard talk contribs‎ 1,023 bytes +32‎ added Category:Mathematical logic using HotCat undo

curprev 06:4106:41, 16 May 2012‎ Luckas-bot talk contribs‎ m 991 bytes +27‎ r2.7.1) (Robot: Adding id:Kategori:Teori tipe undo

curprev 18:4918:49, 9 November 2011‎ Luckas-bot talk contribs‎ m 964 bytes +28‎ r2.7.1) (Robot: Adding ms:Kategori:Teori jenis undo

curprev 22:1722:17, 3 October 2011‎ Ruud Koot talk contribs‎ 936 bytes +30‎ +de:Kategorie:Typentheorie undo

curprev 10:4910:49, 19 February 2011‎ Gf uip talk contribs‎ m 906 bytes +50‎ greek interwiki undo

curprev 19:0819:08, 2 October 2010‎ SporkBot talk contribs‎ m 856 bytes +13‎ Merging catmore/catmain/catmore1/catmore2 per discussion and WP:TFD undo

curprev 00:1000:10, 28 March 2010‎ TXiKiBoT talk contribs‎ m 843 bytes +35‎ robot Adding: es:Categoría:Teoría de tipos undo

curprev 00:2600:26, 5 December 2009‎ 89.163.66.103 talk‎ 808 bytes +50‎ Added link to Russian page undo

curprev 18:4218:42, 10 September 2009‎ Maksim-bot talk contribs‎ m 758 bytes +4‎ robot Modifying: eo:Kategorio:Teorio de tipoj undo

curprev 08:4508:45, 24 August 2009‎ Pcap talk contribs‎ 754 bytes +454‎ see comment undo
curprev 01:5201:52, 24 August 2009‎ Pcap talk contribs‎ m 300 bytes −28‎ Removed category Formal methods (using HotCat) undo

curprev 15:1015:10, 18 August 2009‎ Arthur Rubin talk contribs‎ m 328 bytes −23‎ Removed category Data types (using HotCat) undo
curprev 15:0915:09, 18 August 2009‎ Arthur Rubin talk contribs‎ m 351 bytes −38‎ Removed category Logic in computer science (using HotCat) undo

curprev 11:5011:50, 19 July 2009‎ Amirobot talk contribs‎ m 389 bytes +39‎ robot Adding: fa:رده:نظریه نوع‌ها undo

curprev 19:2419:24, 6 March 2009‎ VolkovBot talk contribs‎ m 350 bytes +32‎ robot Adding: bs:Kategorija:Teorija vrste undo

curprev 22:5622:56, 5 November 2008‎ Jorgen W talk contribs‎ 318 bytes +37‎ Category:Mathematical structures undo

curprev 08:3908:39, 29 July 2008‎ Diego Moya talk contribs‎ m 281 bytes −42‎ Reverted edits by Diego Moya (talk) to last version by Ruud Koot undo
curprev 08:3808:38, 29 July 2008‎ Diego Moya talk contribs‎ 323 bytes +42‎ No edit summary undo

curprev 22:1022:10, 29 November 2007‎ Ruud Koot talk contribs‎ 281 bytes −40‎ rm *Theory undo

curprev 21:2121:21, 6 July 2007‎ Luís Felipe Braga talk contribs‎ 321 bytes +34‎ +pt:iw undo

curprev 18:3618:36, 20 April 2007‎ 60.46.134.218 talk‎ 287 bytes +26‎ +ja undo

curprev 21:3921:39, 27 December 2006‎ 16@r talk contribs‎ m 261 bytes +37‎ +fr undo

curprev 13:2113:21, 10 December 2006‎ Escarbot talk contribs‎ m 224 bytes +29‎ robot Adding: eo:Kategorio:Tipa teorio undo

curprev 15:1515:15, 7 November 2006‎ Jpbowen talk contribs‎ m 195 bytes +40‎ Added category undo

curprev 00:2500:25, 4 October 2006‎ Chobot talk contribs‎ m 155 bytes +25‎ robot Adding: ko:분류:형 이론 undo

curprev 06:2706:27, 14 May 2006‎ Mhss talk contribs‎ m 130 bytes +27‎ No edit summary undo

curprev 10:1510:15, 12 September 2005‎ Jpbowen talk contribs‎ m 103 bytes +28‎ Added "Formal methods" category undo

curprev 05:2105:21, 1 July 2005‎ R. S. Shaw talk contribs‎ m 75 bytes +24‎ +cat undo

curprev 21:4521:45, 23 May 2005‎ Chalst talk contribs‎ 51 bytes +13‎ catmore undo
curprev 21:4321:43, 23 May 2005‎ Chalst talk contribs‎ 38 bytes +9‎ <>supercat undo

curprev 21:0421:04, 14 December 2004‎ Altenmann talk contribs‎ m 29 bytes +7‎ cat undo

curprev 04:4704:47, 30 September 2004‎ Maurreen talk contribs‎ 22 bytes +22‎ Category

Retrieved from "https://en.wikipedia.org/wiki/Category:Type_theory"