#principia on 2021-03-16 — irc logs at esper.irclog.whitequark.org

2021-03-08 20:27 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…

00:28 _whitenotifier-edb has joined #principia

00:28 <_whitenotifier-edb> [Principia] eggrobin edited pull request #2923: Uniformize layout - https://git.io/JqF6G

00:31 <_whitenotifier-edb> [Principia] eggrobin edited pull request #2923: Uniformize layout - https://git.io/JqF6G

01:30 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

01:31 <_whitenotifier-edb> [Principia] eggrobin edited pull request #2923: Uniformize layout - https://git.io/JqF6G

01:31 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

01:57 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

02:24 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

02:24 <_whitenotifier-edb> [Principia] eggrobin edited pull request #2923: Uniformize layout - https://git.io/JqF6G

02:25 <_whitenotifier-edb> [Principia] eggrobin edited pull request #2923: Uniformize layout - https://git.io/JqF6G

03:21 egg|anbo|egg___ has quit [Remote host closed the connection]

05:01 Mike` has quit [Ping timeout: 189 seconds]

05:07 Mike` has joined #principia

07:14 <_whitenotifier-edb> [Principia] pleroy reviewed pull request #2923 commit - https://git.io/JqNDj

07:14 <_whitenotifier-edb> [Principia] pleroy reviewed pull request #2923 commit - https://git.io/JqNye

07:14 <_whitenotifier-edb> [Principia] pleroy reviewed pull request #2923 commit - https://git.io/JqNyv

08:24 oeuf has quit [Ping timeout: 189 seconds]

08:30 oeuf has joined #principia

08:45 egg|cell|egg has quit [Ping timeout: 204 seconds]

12:40 egg|anbo|egg_ has joined #principia

16:06 <_whitenotifier-edb> [Principia] eggrobin reviewed pull request #2923 commit - https://git.io/Jqp0b

16:33 <_whitenotifier-edb> [Principia] WayneHarsman starred Principia - https://git.io/JqprD

17:18 <_whitenotifier-edb> [Principia] mikelty starred Principia - https://git.io/Jqpbq

18:17 UmbralRaptop has quit [Remote host closed the connection]

18:51 egg|anbo|egg_ has quit [Remote host closed the connection]

18:53 egg|anbo|egg_ has joined #principia

19:09 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

19:09 <_whitenotifier-edb> [Principia] eggrobin reviewed pull request #2923 commit - https://git.io/JqhEx

19:28 egg|anbo|egg_ has quit [Remote host closed the connection]

19:30 egg|anbo|egg_ has joined #principia

19:33 egg|anbo|egg_ has quit [Ping timeout: 189 seconds]

20:03 <_whitenotifier-edb> [Principia] eggrobin synchronize pull request #2923: Uniformize layout - https://git.io/JqF6G

20:24 <raptop> Oh, hey, 1.11.2

20:28 <_whitenotifier-edb> [Principia] pleroy labeled pull request #2923: Uniformize layout - https://git.io/JqF6G

20:30 <_whitenotifier-edb> [Principia] eggrobin closed pull request #2923: Uniformize layout - https://git.io/JqF6G

20:30 <_whitenotifier-edb> [Principia] eggrobin pushed 7 commits to master [+0/-0/±50] https://git.io/Jqhyx

20:30 <_whitenotifier-edb> [Principia] eggrobin 270a10a - factor out the \textdisplay

20:30 <_whitenotifier-edb> [Principia] eggrobin a6ae44f - bibliography changes: twopage, use extdash for all the RK[N], emergencystretch

20:30 <_whitenotifier-edb> [Principia] eggrobin 1d51180 - twoside Composition methods

20:30 <_whitenotifier-edb> [Principia] ... and 4 more commits.