<feed xmlns='http://www.w3.org/2005/Atom'>
<title>felix.git/source/Render/Html/Export.hs, branch hotg</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.
</subtitle>
<id>https://git.adelon.net/felix.git/atom?h=hotg</id>
<link rel='self' href='https://git.adelon.net/felix.git/atom?h=hotg'/>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/'/>
<updated>2026-08-03T20:33:27+00:00</updated>
<entry>
<title>Tighten sequential HTML presentation ownership</title>
<updated>2026-08-03T20:33:27+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T20:33:27+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=ad0a3e1be7aad5721534a83621add61dbc4981b6'/>
<id>urn:sha1:ad0a3e1be7aad5721534a83621add61dbc4981b6</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Share HTML target and route analysis</title>
<updated>2026-08-03T20:07:08+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T20:07:08+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=4b2df0ff745f784d5e6f3cd63fcd0c6b5a34f499'/>
<id>urn:sha1:4b2df0ff745f784d5e6f3cd63fcd0c6b5a34f499</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Publish verified HTML sequentially</title>
<updated>2026-08-03T20:03:22+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T20:03:22+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=fa6ba2cfc44873416ef08c503f585694118b8b8b'/>
<id>urn:sha1:fa6ba2cfc44873416ef08c503f585694118b8b8b</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Reuse verified presentation for HTML</title>
<updated>2026-08-03T19:55:32+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T19:55:32+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=a26c79449542a80572ca6846ec440bc4db130c4e'/>
<id>urn:sha1:a26c79449542a80572ca6846ec440bc4db130c4e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Close verification output failures</title>
<updated>2026-07-31T20:51:13+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-07-31T20:51:13+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=236bb2a7f961f58b015f78e019c43a99dab6223e'/>
<id>urn:sha1:236bb2a7f961f58b015f78e019c43a99dab6223e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Restore precise verification diagnostics</title>
<updated>2026-07-31T20:43:16+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-07-31T20:43:16+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=91cea9ad8e320138ddffdbdcdc94edc789f1c14e'/>
<id>urn:sha1:91cea9ad8e320138ddffdbdcdc94edc789f1c14e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Parse source graph into immutable modules</title>
<updated>2026-07-28T06:51:22+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-07-28T06:51:22+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=691c56a1a402d15150de87391cf5446cba2063a2'/>
<id>urn:sha1:691c56a1a402d15150de87391cf5446cba2063a2</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Publish complete HTML bundles</title>
<updated>2026-07-28T02:52:19+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-07-28T02:52:19+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=38003c19106bd213b7cd5034949da059bb9724ce'/>
<id>urn:sha1:38003c19106bd213b7cd5034949da059bb9724ce</id>
<content type='text'>
</content>
</entry>
</feed>
