<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/Session.mli, branch master</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>rework evaluators and add schema scope</title>
<updated>2026-10-08T03:59:05+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-08T03:59:05+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=f49890e12d7eb6a766b966438cd475f7cbf5081b'/>
<id>f49890e12d7eb6a766b966438cd475f7cbf5081b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>drop journal in favor of local branch history</title>
<updated>2026-10-07T21:25:43+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-07T21:25:43+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=932e657e38665afa1da1aab549977841abbd9dcf'/>
<id>932e657e38665afa1da1aab549977841abbd9dcf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>add session object and protocol with pinning</title>
<updated>2026-09-27T01:29:45+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-27T01:29:45+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=63352e46a880985efbdfab2e539d0f4975960b94'/>
<id>63352e46a880985efbdfab2e539d0f4975960b94</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
