egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Christoffel. We currently target 1.2.2, and 1.3.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
awang has joined #principia
icefire has quit [Read error: Connection reset by peer]
Oneiros has joined #principia
egg is now known as egg|zzz|egg
NolanSyKinsley has quit [Remote host closed the connection]
Oneiros has quit [Ping timeout: 180 seconds]
Oneiros has joined #principia
Wetmelon has quit [Ping timeout: 194 seconds]
Hypergolic_Skunk has joined #principia
Oneiros has quit [Ping timeout: 180 seconds]
awang has quit [Ping timeout: 383 seconds]
Oneiros has joined #principia
icefire has joined #principia
Iskierka has quit [Ping timeout: 200 seconds]
<GH> [Principia] pleroy closed pull request #1662: Incorrect sign in DoublePrecision difference of points (master...1624) https://git.io/vbQdm
<GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/vbAQ8
<GH> Principia/master 0a9f0cd Robin Leroy: oops
<GH> Principia/master 2857d2f Pascal Leroy: Merge pull request #1662 from eggrobin/1624...
<GH> [Principia] pleroy commented on issue #1661: retest this please https://git.io/vbAQu
<GH> [Principia] pleroy closed pull request #1661: Remove unused lambda captures (master...patch-2) https://git.io/vbSuK
Iskierka has joined #principia
Iskierka has quit [Ping timeout: 383 seconds]
Iskierka has joined #principia
icefire has quit [Read error: Connection reset by peer]
lamont_ has quit [Quit: lamont_]
lamont_ has joined #principia
awang has joined #principia
awang has quit [Ping timeout: 383 seconds]
NolanSyKinsley has joined #principia
lamont_ has quit [Quit: lamont_]
icefire has joined #principia
lamont_ has joined #principia
lamont_ has quit [Client Quit]
Oneiros has quit [Ping timeout: 180 seconds]
Wetmelon has joined #principia
Daz has quit [Remote host closed the connection]
Daz has joined #principia
dsonbill has quit [Ping timeout: 186 seconds]
dsonbill has joined #principia
lamont_ has joined #principia
Jesin has quit [Quit: Leaving]
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]