00:07
egg|anbo|egg_ has quit [Remote host closed the connection]
00:21
egg|cell|egg has joined #principia
02:47
egg|cell|egg has quit [Read error: Connection reset by peer]
04:29
egg|anbo|egg_ has joined #principia
05:01
Mike` has quit [Ping timeout: 189 seconds]
05:07
Mike` has joined #principia
05:26
egg|anbo|egg_ has quit [Remote host closed the connection]
05:48
egg|anbo|egg_ has joined #principia
05:50
egg|anbo|egg_ has quit [Remote host closed the connection]
05:57
egg|anbo|egg_ has joined #principia
05:59
egg|anbo|egg_ has quit [Remote host closed the connection]
12:57
egg|anbo|egg_ has joined #principia
13:18
egg|anbo|egg_ has quit [Remote host closed the connection]
13:22
egg|anbo|egg_ has joined #principia
13:53
egg|anbo|egg_ has quit [Remote host closed the connection]
14:08
egg|anbo|egg_ has joined #principia
14:54
<
_whitenotifier-c867 >
[Principia] eggrobin synchronize pull request #2914: Bibliography cleanups -
https://git.io/JqCX4
15:18
egg|anbo|egg_ has quit [Remote host closed the connection]
15:41
egg|cell|egg has joined #principia
16:27
<
_whitenotifier-c867 >
[Principia] eggrobin synchronize pull request #2914: Bibliography cleanups -
https://git.io/JqCX4
17:24
<
_whitenotifier-c867 >
[Principia] eggrobin synchronize pull request #2914: Bibliography cleanups -
https://git.io/JqCX4
17:39
<
_whitenotifier-c867 >
[Principia] eggrobin c8366c1 - Ensure consistent labels
17:39
<
_whitenotifier-c867 >
[Principia] eggrobin 76705ee - Globally consistent bibliography
17:39
<
_whitenotifier-c867 >
[Principia] eggrobin c6ca198 - merge
17:39
<
_whitenotifier-c867 >
[Principia] ... and 17 more commits.
17:41
egg|anbo|egg has quit [Remote host closed the connection]
17:41
egg|anbo|egg has joined #principia
18:24
<
_whitenotifier-c867 >
[Principia] eggrobin opened pull request #2915: Sort and format the the bibliography -
https://git.io/JqCha
18:51
<
_whitenotifier-c867 >
[Principia] pleroy labeled pull request #2915: Sort and format the the bibliography -
https://git.io/JqCha
18:53
<
_whitenotifier-c867 >
[Principia] eggrobin closed pull request #2915: Sort and format the the bibliography -
https://git.io/JqCha
18:53
<
_whitenotifier-c867 >
[Principia] eggrobin 22080be - A script for bibliography formatting
18:53
<
_whitenotifier-c867 >
[Principia] eggrobin fdf26ad - format the bibliography
18:54
<
_whitenotifier-c867 >
[Principia] eggrobin 5836f0e - regenerate the bibliography: no visible change.
18:54
<
_whitenotifier-c867 >
[Principia] ... and 3 more commits.
19:23
egg|anbo|egg_ has joined #principia
19:38
egg|anbo|egg_ has quit [Remote host closed the connection]
21:04
Jesin has quit [Quit: Leaving]
21:15
Jesin has joined #principia
21:15
Jesin has quit [Client Quit]
21:19
Jesin has joined #principia
21:20
Jesin has quit [Client Quit]
21:23
Jesin has joined #principia
21:26
Jesin has quit [Client Quit]
21:27
Jesin has joined #principia
23:27
UmbralRaptor has quit [Quit: Bye]
23:27
UmbralRaptop has joined #principia
23:50
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2916: Italicize Latin locutions -
https://git.io/JqW3H
23:50
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2915: Sort and format the the bibliography -
https://git.io/JqCha
23:51
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2904: Additions to the bibliography -
https://git.io/Jqk1I
23:51
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2905: Some fixes to our LaTeX package -
https://git.io/Jqk1z
23:53
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2886: Adjust orbit analyser terminology -
https://git.io/JtVte
23:54
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2887: 𒁹𒍣𒊬 has provided feedback -
https://git.io/Jtwtw
23:56
<
_whitenotifier-c867 >
[Principia] eggrobin labeled pull request #2855: Add new entries to the bibliography and use short references uniformly in the code -
https://git.io/JLhnJ