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/
egg|zzz|egg has quit [Ping timeout: 198 seconds]
egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
UmbralRaptor has joined #principia
UmbralRaptor has quit [Remote host closed the connection]
Wetmelon has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #principia
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
awang has quit [*.net *.split]
ferram4 has quit [*.net *.split]
xShadowx has quit [*.net *.split]
Technicalfool has quit [*.net *.split]
kmath has quit [*.net *.split]
awang has joined #principia
kmath has joined #principia
Technicalfool has joined #principia
ferram4 has joined #principia
xShadowx has joined #principia
NCommander has quit [Quit: Coyote finally caught me]
NCommander has joined #principia
Daz has quit [Read error: Connection reset by peer]
egg|zzz|egg has joined #principia
egg has joined #principia
uj8efdjkfdshf has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
egg|zzz|egg has quit [Ping timeout: 182 seconds]
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
<GH> [Principia] EthanWang706 commented on issue #1800: Because Principia still not supports v1.4.3, so I download the previous 1.4.2 version, and this bug was gone https://git.io/vpPgc
Qboid has joined #principia
UmbralRaptop has quit [Ping timeout: 194 seconds]
NolanSyKinsley has joined #principia
UmbralRaptop has joined #principia
egg|zzz|egg has joined #principia
UmbralRaptop is now known as NomalRaptor
egg|zzz|egg has quit [Ping timeout: 194 seconds]
egg|zzz|egg has joined #principia
uj8efdjkfdshf has joined #principia
<GH> [Principia] pleroy pushed 8 new commits to master: https://git.io/vpXa9
<GH> Principia/master 2138f43 pleroy: Baseline commit for the generated files.
<GH> Principia/master 1638a6c pleroy: Add the is_utf8 option.
<GH> Principia/master fbfce53 pleroy: Remove generated files.
NomalRaptor is now known as UmbralRaptor