diff options
| author | 2022-12-09 10:42:43 -0800 | |
|---|---|---|
| committer | 2022-12-09 10:42:43 -0800 | |
| commit | e0c3017c8f9602144c5b5de91a45d7be6c272627 (patch) | |
| tree | 4cf837a3f1708bffa35e22e1e52b1da940e52661 | |
| parent | Merge pull request #5 from dpk/master (diff) | |
Publish fifth draft.draft-5
| -rw-r--r-- | index.html | 4 | ||||
| -rw-r--r-- | srfi-228.html | 3 |
2 files changed, 3 insertions, 4 deletions
@@ -27,6 +27,4 @@ <li><span class="firefox-column-workaround"> <form method="POST" action="https://www.simplelists.com/subscribe.php"> <div class="title">Unsubscribe from srfi-228 mailing list</div><input name="email" placeholder="email address" tabindex="5" type="email"><input class="submit" name="submit" tabindex="6" type="submit" value="Unsubscribe from srfi-228"><input type="hidden" name="action" value="unsubscribe"><input name="list" type="hidden" value="srfi-228@srfi.schemers.org"></form></span></li></ul> - <h2>Abstract</h2><p>Further procedures for defining <a href="https://srfi.schemers.org/srfi-128/">SRFI 128</a> comparators. - -<p>Best enjoyed in combination with <a href="https://srfi.schemers.org/srfi-162/">SRFI 162</a>.</body></html>
\ No newline at end of file + <h2>Abstract</h2><p>Further procedures for defining <a href="https://srfi.schemers.org/srfi-128/">SRFI 128</a> comparators. <p>Best enjoyed in combination with <a href="https://srfi.schemers.org/srfi-162/">SRFI 162</a>.</body></html>
\ No newline at end of file diff --git a/srfi-228.html b/srfi-228.html index ba3074d..1d43d68 100644 --- a/srfi-228.html +++ b/srfi-228.html @@ -14,7 +14,7 @@ var { font-family: serif; font-style: italic; - font-size-adjust: ex-height; + font-size-adjust: ex-height 0.5; } </style> <meta name="viewport" content="width=device-width, initial-scale=1"></head> @@ -33,6 +33,7 @@ <li>Draft #2 published: 2022-02-26</li> <li>Draft #3 published: 2022-11-14</li> <li>Draft #4 published: 2022-11-30</li> + <li>Draft #5 published: 2022-12-09</li> </ul> <h2 id="abstract">Abstract</h2> |
