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/
Jesin has quit [Remote host closed the connection]
Jesin has joined #principia
egg|overheated|egg has quit [Ping timeout: 182 seconds]
egg has joined #principia
UmbralRaptop is now known as IRTFRaptor
IRTFRaptor has quit [Quit: Bye]
UmbralRaptop has joined #principia
Moistmelon has joined #principia
Wetmelon has quit [Ping timeout: 194 seconds]
Moistmelon has quit [Ping timeout: 194 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
UmbralRaptor has joined #principia
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #principia
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 182 seconds]
UmbralRaptop has joined #principia
UmbralRaptor has quit [Ping timeout: 202 seconds]
Aexoden has quit [Quit: No Ping reply in 180 seconds.]
Aexoden has joined #principia
Aexoden has quit [Ping timeout: 202 seconds]
Aexoden has joined #principia
ferram4 has quit [Ping timeout: 202 seconds]
ferram4 has joined #principia
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
NolanSyKinsley has joined #principia
Raidernick_ has joined #principia
Raidernick has quit [Ping timeout: 383 seconds]
Raidernick_ has quit [Ping timeout: 186 seconds]
Raidernick has joined #principia
Jesin has quit [Remote host closed the connection]
Jesin has joined #principia
NolanSyKinsley has quit [Ping timeout: 198 seconds]
bees has quit [Ping timeout: 186 seconds]
bees has joined #principia
kawaider_ has joined #principia
bees has quit [Ping timeout: 186 seconds]
ferram4 has quit [Read error: Connection reset by peer]
ferram4 has joined #principia
NolanSyKinsley has joined #principia
Moistmelon has joined #principia
kawaider_ is now known as bees
awang_ is now known as _awang_
_awang_ is now known as __builtin_underscore
__builtin_underscore is now known as __awang__
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #principia
Moistmelon has quit [Ping timeout: 194 seconds]