egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
NolanSyKinsley has quit [Remote host closed the connection]
lamont has joined #principia
NolanSyKinsley has joined #principia
NathanKell|AFK is now known as NathanKell
ferram4_ is now known as ferram4
lamont has quit [Remote host closed the connection]
lamont has joined #principia
lamont has quit [Client Quit]
lamont has joined #principia
Mike` has quit [Ping timeout: 383 seconds]
Mike` has joined #principia
Hypergolic_Skunk has joined #principia
text has joined #principia
text has quit [Client Quit]
NolanSyKinsley has quit [Remote host closed the connection]
<GH> [Principia] pleroy opened pull request #1762: Restore the clean-before-build (master...Rebuild) https://git.io/vxOxX
<GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/vxOh1
<GH> Principia/master 3efe715 pleroy: Restore the clean-before-build.
<GH> Principia/master a0c5576 Pascal Leroy: Merge pull request #1762 from pleroy/Rebuild...
Rokker has quit [Quit: Connection closed for inactivity]
ferram4 has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
ferram4 has joined #principia
hattivat has joined #principia
hattivat has quit [Client Quit]
Novles has joined #principia
NolanSyKinsley has joined #principia
NathanKell is now known as NathanKell|AFK
kmath has quit [Remote host closed the connection]
<GH> [Principia] eggrobin opened pull request #1763: Bump solution version (master...solution-version) https://git.io/vx3cV
Rokker has joined #principia
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
<GH> [Principia] eggrobin closed pull request #1763: Bump solution version (master...solution-version) https://git.io/vx3cV
<GH> Principia/master 4bb6103 Robin Leroy: bump solution version
<GH> Principia/master a7bcbb5 Robin Leroy: Merge pull request #1763 from eggrobin/solution-version...
<GH> [Principia] eggrobin pushed 2 new commits to master: https://git.io/vx34g
kmath has joined #principia
kmath has quit [Remote host closed the connection]
kmath has joined #principia
Snoozee is now known as Majiir
Novles has quit [Read error: Connection reset by peer]
Mike` has quit [Ping timeout: 186 seconds]
Mike` has joined #principia
Majiir is now known as Snoozee