7. Juni 2012
- 23:4523:45, 7. Jun. 2012 Unterschied Versionen +19 Bytes N Datei:AgdaTalk.pdf Vortrags-Tansskript
4. Juni 2012
- 09:3409:34, 4. Jun. 2012 Unterschied Versionen +1.496 Bytes N GPN12:Agda - Mit starken Typen abhängen Die Seite wurde neu angelegt: „{{#css:GPN12:Stylesheet}} Vortrag von nomeata auf der GPN12. <blockquote> Agda: is it a dependently-typed programming language? Is it a proof-assistant b…“
14. September 2011
- 14:5014:50, 14. Sep. 2011 Unterschied Versionen −1 Byte K Talkshow Keine Bearbeitungszusammenfassung
- 14:5014:50, 14. Sep. 2011 Unterschied Versionen −1 Byte K Talkshow Keine Bearbeitungszusammenfassung
1. September 2011
- 17:3917:39, 1. Sep. 2011 Unterschied Versionen −89 Bytes GPN GPN11 Vorbereitungen... hoffentlich nicht mehr.
18. Juli 2011
- 21:1721:17, 18. Jul. 2011 Unterschied Versionen 0 Bytes Datei:ChurchTalk.pdf hat eine neue Version von „Datei:ChurchTalk.pdf“ hochgeladen: Typos
26. Juni 2011
- 22:2722:27, 26. Jun. 2011 Unterschied Versionen +322 Bytes GPN12:Anregungen →Was auf der GPN11 nicht so geil war
- 22:1922:19, 26. Jun. 2011 Unterschied Versionen +2 Bytes GPN12:Anregungen →Was auf der GPN11 geil war
24. Juni 2011
- 14:4914:49, 24. Jun. 2011 Unterschied Versionen +169 Bytes GPN11:Warum wir noch Mathematiker brauchen Keine Bearbeitungszusammenfassung
- 14:4614:46, 24. Jun. 2011 Unterschied Versionen +112 Bytes N Datei:ChurchTalkEn.pdf Der englische Orginaltext auf dem der Text des Vortrages GPN11:Warum wir noch Mathematiker brauchen basiert.
- 14:4514:45, 24. Jun. 2011 Unterschied Versionen +69 Bytes N Datei:ChurchTalk.pdf Der Text des Vortrages GPN11:Warum wir noch Mathematiker brauchen
10. Januar 2011
- 15:2215:22, 10. Jan. 2011 Unterschied Versionen +1 Byte K L-seed/GPN-Ergebnisse Auch alte Typos sind blöde Typos. aktuell
10. Juni 2010
- 12:0712:07, 10. Jun. 2010 Unterschied Versionen +34 Bytes GPN10:Keysigning Keine Bearbeitungszusammenfassung
5. November 2009
- 12:4612:46, 5. Nov. 2009 Unterschied Versionen +95 Bytes L-seed →Code
8. Oktober 2009
- 16:3816:38, 8. Okt. 2009 Unterschied Versionen +5 Bytes K Windows Home Server (Vortrag) Jahresazahl rein.
29. Juni 2009
- 10:4010:40, 29. Jun. 2009 Unterschied Versionen −2 Bytes K GPN10:Anregungen →Was auf der GPN9 sein soll
- 10:3910:39, 29. Jun. 2009 Unterschied Versionen +102 Bytes GPN10:Anregungen →Was man auf der GPN8 hätte besser machen können
- 10:3810:38, 29. Jun. 2009 Unterschied Versionen +111 Bytes L-seed Keine Bearbeitungszusammenfassung
- 10:3810:38, 29. Jun. 2009 Unterschied Versionen +780 Bytes GPN8:Code Keine Bearbeitungszusammenfassung
- 10:3510:35, 29. Jun. 2009 Unterschied Versionen +6.166 Bytes N L-seed/GPN-Ergebnisse Die Seite wurde neu angelegt: „= L-seed-Auswertung = Das Gesamtergebnis des L-seed-Spiels während der GPN8 ist in der folgenden Tabelle zu sehen. Wer sich die Eregebnisse (und auch d…“
- 10:3410:34, 29. Jun. 2009 Unterschied Versionen +36 Bytes N Datei:L-seed-db-dump.gz GPN8-Database-Dump, ohne Passwörter aktuell
28. Juni 2009
- 21:4721:47, 28. Jun. 2009 Unterschied Versionen 0 Bytes GPN8 Bildersammelaufruf
- 21:4621:46, 28. Jun. 2009 Unterschied Versionen +146 Bytes N GPN8:Bilder Die Seite wurde neu angelegt: „= Die GPN8 in <del>Ton und</del> Bild = Hier bitte Links zu GPN8-Bildern sammeln: * http://www.andre-hoeche.de/gallery/gpn8/ Kategorie:GPN8“
- 21:4021:40, 28. Jun. 2009 Unterschied Versionen +149 Bytes L-seed →Status
- 21:3921:39, 28. Jun. 2009 Unterschied Versionen +123 Bytes L-seed →Code
- 21:3721:37, 28. Jun. 2009 Unterschied Versionen +71 Bytes N Datei:L-seed-0.2.tar.gz L-seed-Backup-Kopie (Revision b1bff0f8194e84881c75a450d546ef484bfa2c4f) aktuell
- 21:3021:30, 28. Jun. 2009 Unterschied Versionen −67 Bytes L-seed →Code
- 21:3021:30, 28. Jun. 2009 Unterschied Versionen −67 Bytes L-seed →Screenshot
- 21:3021:30, 28. Jun. 2009 Unterschied Versionen +156 Bytes L-seed →Aktuelles
- 21:2521:25, 28. Jun. 2009 Unterschied Versionen +154 Bytes GPN10:Anregungen →Lobpreisungen der GPN8
- 21:2421:24, 28. Jun. 2009 Unterschied Versionen +230 Bytes GPN10:Anregungen →Was auf der GPN9 sein soll
27. Juni 2009
- 21:0521:05, 27. Jun. 2009 Unterschied Versionen +86 Bytes L-seed Keine Bearbeitungszusammenfassung
- 21:0421:04, 27. Jun. 2009 Unterschied Versionen 0 Bytes N Datei:L-seed-screen-GPN8-2.png Keine Bearbeitungszusammenfassung aktuell
- 18:1618:16, 27. Jun. 2009 Unterschied Versionen +216 Bytes L-seed →Aktuelles
- 17:5117:51, 27. Jun. 2009 Unterschied Versionen −9 Bytes L-seed Keine Bearbeitungszusammenfassung
- 16:1116:11, 27. Jun. 2009 Unterschied Versionen +76 Bytes L-seed →Aktuelles
- 15:2215:22, 27. Jun. 2009 Unterschied Versionen −1 Byte L-seed →Aktuelles
- 14:4314:43, 27. Jun. 2009 Unterschied Versionen +102 Bytes L-seed →Aktuelles
- 13:4213:42, 27. Jun. 2009 Unterschied Versionen +58 Bytes L-seed →Code
- 13:3213:32, 27. Jun. 2009 Unterschied Versionen +102 Bytes L-seed →Aktuelles
- 12:2712:27, 27. Jun. 2009 Unterschied Versionen 0 Bytes K L-seed →Aktuelles
- 11:5811:58, 27. Jun. 2009 Unterschied Versionen +108 Bytes L-seed →Aktuelles
- 11:5511:55, 27. Jun. 2009 Unterschied Versionen +77 Bytes L-seed Keine Bearbeitungszusammenfassung
- 11:5411:54, 27. Jun. 2009 Unterschied Versionen 0 Bytes N Datei:L-seed-screen-GPN8.png Keine Bearbeitungszusammenfassung aktuell
- 10:5910:59, 27. Jun. 2009 Unterschied Versionen +164 Bytes L-seed Keine Bearbeitungszusammenfassung
- 01:1501:15, 27. Jun. 2009 Unterschied Versionen +92 Bytes L-seed →Status
- 01:1401:14, 27. Jun. 2009 Unterschied Versionen +33 Bytes L-seed →Status
- 01:0801:08, 27. Jun. 2009 Unterschied Versionen +83 Bytes L-seed →Aktuelles
- 00:4000:40, 27. Jun. 2009 Unterschied Versionen +98 Bytes L-seed →Aktuelles
26. Juni 2009
- 23:3123:31, 26. Jun. 2009 Unterschied Versionen +141 Bytes L-seed Keine Bearbeitungszusammenfassung