egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
egg|laptop|egg has joined #principia
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #principia
Raidernick_ has joined #principia
Raidernick has quit [Ping timeout: 189 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg__ has joined #principia
egg|laptop|egg has quit [Ping timeout: 189 seconds]
egg|laptop|egg__ has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg_ has quit [Ping timeout: 189 seconds]
egg|laptop|egg_ has joined #principia
egg|laptop|egg has quit [Ping timeout: 189 seconds]
<queqiao-_> ⟨w​thompson786⟩ i went to download principia from the github. i clicked the link, and it downloaded "principia halley for 1.12.2". would this still work with 1.10.1? if not, where do i find the download for 1.10.1?
<queqiao-_> ⟨v​on Kerman⟩ it will work
<queqiao-_> ⟨w​thompson786⟩ cool. thank you
<raptop> currently various version from 1.8.x through 1.12.x are targeted, see readme for details
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
_whitelogger has joined #principia
_whitelogger has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg_ has quit [Ping timeout: 189 seconds]
egg|laptop|egg_ has joined #principia
egg|laptop|egg_ has quit [Remote host closed the connection]
egg|laptop|egg_ has joined #principia
egg|laptop|egg_ has quit [Remote host closed the connection]
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
egg|laptop|egg_ has joined #principia
egg|laptop|egg_ has quit [Remote host closed the connection]
egg|laptop|egg_ has joined #principia
queqiao-_ has quit [Ping timeout: 189 seconds]
queqiao- has joined #principia
egg|laptop|egg_ has quit [Remote host closed the connection]