00:12:34  * AtumTquit (Quit: AtumT)
00:18:22  * linear6joined
00:23:29  * linear6quit (Ping timeout: 260 seconds)
00:34:21  * aki_joined
00:35:09  * akirosequit (Ping timeout: 260 seconds)
00:35:09  * aki_changed nick to akirose
00:44:36  * irc-52252256joined
00:49:22  * irc-52252256quit (Ping timeout: 265 seconds)
00:49:35  * gamma0joined
00:50:05  * gamma0quit (Remote host closed the connection)
01:10:18  * klx``25joined
01:15:00  * doaks24joined
01:15:24  * klx``25quit (Ping timeout: 260 seconds)
01:21:00  * doaks24quit (Ping timeout: 244 seconds)
01:31:01  * Levexjoined
01:31:41  * Levexquit (Killed (Sigyn (Spam is off topic on freenode.)))
01:33:25  * jhprattjoined
01:34:48  * jwaldenquit (Ping timeout: 265 seconds)
01:54:16  * jhprattquit (Quit: Leaving)
01:57:56  * jhprattjoined
02:08:50  * jhprattpart ("Leaving")
02:09:59  * e-mailjoined
02:10:30  * e-mailquit (Remote host closed the connection)
02:23:03  * jwaldenjoined
02:36:15  * metaxjoined
02:40:55  * aki_joined
02:41:05  * metaxquit (Ping timeout: 248 seconds)
02:42:05  * akirosequit (Ping timeout: 240 seconds)
02:42:05  * aki_changed nick to akirose
03:09:56  * cloudshuquit (Quit: Connection closed for inactivity)
03:22:13  * mar77i_joined
03:26:21  * annieslmaosjoined
03:27:05  * mar77i_quit (Ping timeout: 240 seconds)
03:31:13  * annieslmaosquit (Ping timeout: 248 seconds)
03:38:16  * PrettyKittie9joined
03:39:23  * Guest71852joined
03:40:03  * Guest71852quit (Killed (Sigyn (Spam is off topic on freenode.)))
03:43:34  * PrettyKittie9quit (Ping timeout: 260 seconds)
03:54:58  * Kilo`byte19joined
03:59:39  * Aprexerjoined
04:00:48  * Aprexerquit (Remote host closed the connection)
04:01:31  * Kilo`byte19quit (Remote host closed the connection)
04:14:03  * ryzokuken_changed nick to ryzokuken
04:26:24  <devsnek>Domenic: so your pr gets rid of ScriptJobs... won't that change when things run?
04:40:00  * jmdyckquit (Remote host closed the connection)
04:46:44  * aki_joined
04:47:40  * akirosequit (Ping timeout: 244 seconds)
04:47:41  * aki_changed nick to akirose
05:37:58  * jwaldenquit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805])
05:54:39  * howdoijoined
06:14:48  * jack3joined
06:14:50  * jack3quit (Remote host closed the connection)
06:21:20  * Guest33171joined
06:25:47  * Guest33171quit (Ping timeout: 255 seconds)
06:53:19  * xCorejoined
06:54:17  * xCorequit (Killed (Sigyn (Spam is off topic on freenode.)))
06:54:21  * akirosequit (Ping timeout: 264 seconds)
06:54:59  * akirosejoined
07:08:40  * akoserwa|wfhjoined
07:17:34  * fkzjoined
07:18:50  * fkzquit (Killed (Unit193 (Spam is not permitted on freenode.)))
07:23:50  * TheSilentLink2joined
07:24:45  * TheSilentLink2quit (Remote host closed the connection)
07:36:02  * mylesborinsquit (Ping timeout: 256 seconds)
07:38:10  * mylesborinsjoined
07:47:27  * dpkquit (Ping timeout: 240 seconds)
07:50:27  * dpkjoined
08:19:01  * GTAXL25joined
08:19:12  * GTAXL25quit (Killed (Unit193 (Spam is not permitted on freenode.)))
08:38:37  * junction00joined
08:43:16  * junction00quit (Ping timeout: 244 seconds)
08:56:12  * Napsterbaterjoined
08:56:33  * Napsterbaterquit (Killed (Sigyn (Spam is off topic on freenode.)))
09:01:47  * aki_joined
09:02:46  * akirosequit (Ping timeout: 264 seconds)
09:02:46  * aki_changed nick to akirose
09:39:31  * tesu18joined
09:39:53  * tesu18quit (Killed (Sigyn (Spam is off topic on freenode.)))
09:56:35  * erry14joined
09:56:48  * erry14quit (Remote host closed the connection)
10:04:09  * samftyjoined
10:09:22  * samftyquit (Ping timeout: 264 seconds)
10:17:07  * Zapy10joined
10:18:50  * Zapy10quit (Remote host closed the connection)
10:25:11  * mylesborinsquit (Quit: farewell for now)
10:25:20  * mylesborinsjoined
10:37:10  * barq5joined
10:37:33  * barq5quit (K-Lined)
10:48:46  * Sherafjoined
10:54:02  * Sherafquit (Ping timeout: 276 seconds)
11:04:51  * wycatsquit (Remote host closed the connection)
11:04:51  * Wizekquit (Remote host closed the connection)
11:04:52  * ryzokukenquit (Remote host closed the connection)
11:04:54  * jschoi_quit (Remote host closed the connection)
11:04:55  * zkatquit (Remote host closed the connection)
11:04:55  * JakeAquit (Remote host closed the connection)
11:04:55  * mathiasbynensquit (Remote host closed the connection)
11:05:07  * manish1joined
11:05:21  * jschoi_joined
11:05:21  * jschoi_quit (K-Lined)
11:05:43  * JakeAjoined
11:05:45  * zkatjoined
11:05:52  * manish1quit (Killed (Sigyn (Spam is off topic on freenode.)))
11:06:27  * ryzokukenjoined
11:06:30  * wycatsjoined
11:06:33  * Wizekjoined
11:07:09  * mathiasbynensjoined
11:07:16  * ryzokukenquit (Changing host)
11:07:16  * ryzokukenjoined
11:07:16  * ryzokukenquit (Changing host)
11:07:16  * ryzokukenjoined
11:09:02  * aki_joined
11:10:18  * akirosequit (Ping timeout: 268 seconds)
11:10:19  * aki_changed nick to akirose
11:30:10  * RaptorJesus7joined
11:35:22  * RaptorJesus7quit (Ping timeout: 260 seconds)
11:47:42  * PuppyKun13joined
11:48:41  * PuppyKun13quit (Killed (Unit193 (Spam is not permitted on freenode.)))
11:48:58  * jmdyckjoined
11:58:55  * SuperSeriousCat4joined
11:59:01  * SuperSeriousCat4quit (Remote host closed the connection)
12:22:09  * AtumTjoined
12:47:32  * drdanick29joined
12:48:51  * drdanick29quit (Remote host closed the connection)
13:00:43  * gibson042joined
13:15:06  * aki_joined
13:16:11  * akirosequit (Ping timeout: 255 seconds)
13:16:12  * aki_changed nick to akirose
13:40:07  * fydeljoined
13:45:27  * fydelquit (Ping timeout: 260 seconds)
14:22:40  <jmdyck>test
14:22:50  <jmdyck>yay, i can post again.
14:23:50  <jmdyck>devsnek: It's possible that there's reluctance to put `thisSymbolValue` in its own clause because then it would appear (from the clause hierarchy) to be a property of the Symbol Prototype Object (and similarly for the others)
14:25:43  <Domenic>devsnek: no, how would it?
14:34:22  * cloudshujoined
15:19:31  * infina23joined
15:21:57  * akirosequit (Ping timeout: 264 seconds)
15:22:18  * akirosejoined
15:25:19  * infina23quit (Ping timeout: 260 seconds)
15:32:25  * akoserwa|wfhquit (Quit: Leaving)
15:57:07  * mww113joined
15:57:09  * mww113quit (Remote host closed the connection)
16:09:29  * Sophira8joined
16:15:21  * Sophira8quit (Ping timeout: 264 seconds)
16:23:57  * gibson042quit (Ping timeout: 240 seconds)
16:39:43  * gibson042joined
16:52:07  * spotjoined
16:52:53  * spotquit (Remote host closed the connection)
16:55:33  <ljharb>jmdyck: hm, i don't think that holds up tho since all the other abstract ops are in their own clauses
16:56:54  * gibson042quit (Quit: Leaving.)
16:57:50  * linearjoined
16:58:52  * linearquit (Remote host closed the connection)
17:03:41  * howdoiquit (Quit: Connection closed for inactivity)
17:30:47  * akirosequit (Ping timeout: 268 seconds)
17:31:40  * akirosejoined
17:51:05  <jmdyck>ljharb: yes, but none of those clauses are subclauses of a "Properties of X" clause
17:51:38  <jmdyck>(except for "Properties of Valid Executions", but that's not using the word in the standard sense)
17:52:03  <ljharb>jmdyck: they could be moved out of that tho into their own section, no?
17:52:56  <jmdyck>They can be moved wherever you like, I'm just suggesting why it hasn't happened.
17:53:19  <ljharb>gotcha
17:57:48  <jmdyck>in a lot of cases, the abstract op's clause is a subclause of a specific property, but in the case of thisSymbolValue etc, the op is used by multiple properties, so it wouldn't make sense to attach it to just one.
18:53:15  * gibson042joined
18:57:35  * gibson042quit (Ping timeout: 240 seconds)
19:29:00  * mylesborinsquit (Quit: farewell for now)
19:29:21  * mylesborinsjoined
19:29:37  * thealphanerdjoined
19:35:42  * thealphanerdchanged nick to it-is-myles
19:35:58  * mylesborinsquit (Ping timeout: 268 seconds)
19:35:58  * it-is-myleschanged nick to MylesBorins
19:39:05  * akirosequit (Ping timeout: 240 seconds)
19:39:48  * akirosejoined
19:45:06  * jwaldenjoined
19:48:21  * MylesBorinsquit (Quit: farewell for now)
19:50:58  * MylesBorinsjoined
21:46:28  * aki_joined
21:47:45  * akirosequit (Ping timeout: 248 seconds)
21:47:45  * aki_changed nick to akirose
22:53:11  * towcjoined
22:53:58  * towcquit (Client Quit)
23:53:47  * aki_joined
23:54:09  * akirosequit (Ping timeout: 244 seconds)
23:54:10  * aki_changed nick to akirose