egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Dedekind. We currently target 1.3.1, and 1.4.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
egg|phone|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 383 seconds]
SilverFox has quit [Ping timeout: 198 seconds]
SilverFox has joined #principia
egg|phone|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 383 seconds]
Technicalfool has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #principia
egg|cell|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 202 seconds]
Jesin has quit [Ping timeout: 194 seconds]
ferram4_ has quit [Ping timeout: 202 seconds]
Hypergolic_Skunk has joined #principia
saolof has joined #principia
ferram4_ has joined #principia
ferram4_ has quit [Ping timeout: 202 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
ferram4_ has joined #principia
ferram4_ has quit [Ping timeout: 202 seconds]
ferram4_ has joined #principia
Jesin has joined #principia
ferram4_ has quit [Ping timeout: 202 seconds]
ferram4_ has joined #principia
ferram4_ has quit [Ping timeout: 202 seconds]
ferram4_ has joined #principia
Raidernick__ has quit [Ping timeout: 202 seconds]
Raidernick has joined #principia
Raidernick_ has joined #principia
Raidernick has quit [Ping timeout: 383 seconds]
Raidernick has joined #principia
Raidernick_ has quit [Ping timeout: 383 seconds]
Technicalfool has joined #principia
Jesin has quit [Remote host closed the connection]
Jesin has joined #principia
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
egg|zzz|egg is now known as egg
egg is now known as egg|nomz|egg
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
NolanSyKinsley has joined #principia
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
lamont has quit [Ping timeout: 186 seconds]
lamont has joined #principia
lamont has quit [Ping timeout: 194 seconds]
lamont has joined #principia
Jesin has quit [Remote host closed the connection]
Jesin has joined #principia
Aexoden has quit [Ping timeout: 202 seconds]
Aexoden has joined #principia
Jesin has quit [Remote host closed the connection]
egg|nomz|egg is now known as egg
lamont has quit [Ping timeout: 202 seconds]
lamont has joined #principia
awang_ has joined #principia
awang has quit [Ping timeout: 202 seconds]
Jesin has joined #principia
Jesin has quit [Remote host closed the connection]