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/
__awang__ has quit [Quit: leaving]
Wetmelon has quit [Ping timeout: 194 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
icefire_ has quit [Quit: gone]
kmath has quit [Remote host closed the connection]
kmath has joined #principia
icefire has joined #principia
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Read error: No route to host]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Read error: Connection reset by peer]
NolanSyKinsley has joined #principia
SilverFoxy has joined #principia
SilverFox has quit [Ping timeout: 198 seconds]
Wetmelon has joined #principia
SilverFoxy is now known as SilverFox
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
Daz has quit [Remote host closed the connection]
Daz has joined #principia
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 [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 202 seconds]