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/
UmbralRaptop has joined #principia
Wetmelon has quit [Ping timeout: 194 seconds]
egg|cell|egg has quit [Remote host closed the connection]
egg|phone|egg has joined #principia
Wetmelon has joined #principia
Mike` has quit [Ping timeout: 182 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Wetmelon has quit [Ping timeout: 194 seconds]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 198 seconds]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 198 seconds]
lashtear has quit [Ping timeout: 202 seconds]
lashtear has joined #principia
egg|phone|egg has quit [Ping timeout: 194 seconds]
UmbralRaptop has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #principia
NolanSyKinsley has joined #principia
UmbralRaptop has joined #principia
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #principia
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 198 seconds]
awang has quit [Ping timeout: 194 seconds]
awang has joined #principia
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
awang_ has joined #principia
awang has quit [Ping timeout: 182 seconds]
saolof has joined #principia
egg|z|egg has joined #principia
lamont has quit [Ping timeout: 194 seconds]
lamont has joined #principia
<GH> [Principia] pleroy pushed 1 new commit to master: https://git.io/fNTVc
<GH> Principia/master 4d8af74 Pascal Leroy: Remove Dedekind.
oeuf has joined #principia
egg|paris|egg has quit [Ping timeout: 202 seconds]
oeuf is now known as egg|paris|egg
Toast has joined #principia
<Toast> Im to stupid to move my maneuver nodes... D: help me please :) ?
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|z|egg has joined #principia
Toast has quit [Quit: webchat.esper.net]
egg|z|egg has quit [Ping timeout: 198 seconds]