blob: 1bbb731759fa1f9ddb3b0bc608f8b522a93f9f63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
<h1>News</h1>
<h2>Hobbyist Projects</h2>
<ul>
<li>
On <strong>April 17, 2020</strong>, my first contribution to
Dune <a href="https://github.com/ocaml/dune/pull/3384">has been merged
to <code>master</code></a>.
</li>
<li>
On <strong>April 2, 2020</strong>, I started using the rewriting of
<a href="https://cleopatra.soap.coffee"><strong><code>cleopatra</code></strong></a>
to build this website.
</li>
<li>
On <strong>April 1, 2020</strong>, my first contribution ever to
Coq <a href="https://github.com/coq/coq/pull/10592">has been merged
to <code>master</code></a>.
</li>
<li>
On <strong>February 23, 2020</strong>,
<strong><code>cleopatra</code></strong> has been completely
bootstrapped, in that it generates itself!
</li>
<li>
On <strong>February 15, 2020</strong>, I have tagged and
released <code>colorless-themes-0.2</code>,
<code>nordless-theme-0.2</code>,
and <code>lavenderless-theme-0.2</code>.
<a href="./ColorlessThemes-0.2.html">Learn more.</a>
</li>
</ul>
</ul>
|