egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Cartan. We currently target 1.2.2. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
rsparkyc has joined #principia
e_14159 has quit [Ping timeout: 180 seconds]
e_14159 has joined #principia
saolof has quit [Remote host closed the connection]
rsparkyc has quit [Quit: Leaving.]
rsparkyc has joined #principia
MrSavage has quit [Remote host closed the connection]
Wetmelon has joined #principia
aaaaa has joined #principia
aaaaa has quit [Client Quit]
NathanKell|AWAY is now known as NathanKell
icefire has quit [Read error: Connection reset by peer]
rsparkyc has quit [Quit: Leaving.]
NathanKell is now known as NathanKell|AFK
HypergolicSkunk has quit [Quit: Connection closed for inactivity]
stratochief|away is now known as stratosleep
stratosleep has quit [Read error: Connection reset by peer]
stratochief has joined #principia
NolanSyKinsley has quit [Ping timeout: 204 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Ping timeout: 204 seconds]
NolanSyKinsley has joined #principia
Wetmelon has quit [Ping timeout: 204 seconds]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 201 seconds]
HypergolicSkunk has joined #principia
egg|work|egg has joined #principia
egg|work|egg has quit [Ping timeout: 180 seconds]
egg|work|egg has joined #principia
rsparkyc has joined #principia
Thomas|AWAY is now known as Thomas
NolanSyKinsley has quit [Remote host closed the connection]
stratochief is now known as stratochief|remote
stratochief|remote is now known as stratochief|away
saolof has joined #principia
regex has joined #principia
Wetmelon has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
<GH>
[Principia] eggrobin closed issue #1339: Expand KeplerOrbit to return all the useful numbers https://git.io/vSdMX
<GH>
[Principia] eggrobin closed pull request #1372: More elements (master...more-elements) https://git.io/v97Oz