Skip to content

Commit

Permalink
Publish: R9 c498d8d
Browse files Browse the repository at this point in the history
  • Loading branch information
ericniebler committed Apr 2, 2024
1 parent 11e4486 commit bc83e76
Showing 1 changed file with 16 additions and 16 deletions.
32 changes: 16 additions & 16 deletions execution.html
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<meta content="width=device-width, initial-scale=1, shrink-to-fit=no" name="viewport">
<title>D2300R9: `std::execution`</title>
<title>P2300R9: `std::execution`</title>
<style data-fill-with="stylesheet">/******************************************************************************
* Style sheet for the W3C specifications *
*
Expand Down Expand Up @@ -2385,8 +2385,8 @@
<body class="h-entry">
<div class="head">
<p data-fill-with="logo"></p>
<h1 class="p-name no-ref" id="title">D2300R9<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
<h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Proposal, <time class="dt-updated" datetime="2024-04-02">2024-04-02</time></span></h2>
<h1 class="p-name no-ref" id="title">P2300R9<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
<h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Published Proposal, <time class="dt-updated" datetime="2024-04-02">2024-04-02</time></span></h2>
<div data-fill-with="spec-metadata">
<dl>
<dt class="editor">Authors:
Expand Down Expand Up @@ -12254,19 +12254,19 @@ <h3 class="no-num no-ref heading settled" id="informative"><span class="content"
"use strict";
{
let refsData = {
"#completion-scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
"#connect": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"connect","type":"dfn","url":"#connect"},
"#execution-resource": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
"#operation-state": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
"#receiver": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
"#scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
"#send": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"send","type":"dfn","url":"#send"},
"#sender": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender","type":"dfn","url":"#sender"},
"#sender-adaptor": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
"#sender-algorithm": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
"#sender-consumer": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
"#sender-factory": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
"#start": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"start","type":"dfn","url":"#start"},
"#completion-scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
"#connect": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"connect","type":"dfn","url":"#connect"},
"#execution-resource": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
"#operation-state": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
"#receiver": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
"#scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
"#send": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"send","type":"dfn","url":"#send"},
"#sender": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender","type":"dfn","url":"#sender"},
"#sender-adaptor": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
"#sender-algorithm": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
"#sender-consumer": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
"#sender-factory": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
"#start": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"start","type":"dfn","url":"#start"},
};

function mkRefHint(link, ref) {
Expand Down

0 comments on commit bc83e76

Please sign in to comment.