<feed xmlns='http://www.w3.org/2005/Atom'>
<title>user/linus/plop.git/src, branch newerht</title>
<subtitle>Linus' plop repository</subtitle>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/'/>
<entry>
<title>Have inclusion/2 return Index too.</title>
<updated>2014-09-15T12:55:27+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-15T12:55:27+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=eade837db3855ac52b0fc2c3f62e83ceb62b37a7'/>
<id>eade837db3855ac52b0fc2c3f62e83ceb62b37a7</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add inclusion/2.</title>
<updated>2014-09-15T12:08:50+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-15T12:08:50+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=4515b324035c1b3969973ebeeeaf96223fe53aa1'/>
<id>4515b324035c1b3969973ebeeeaf96223fe53aa1</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Make two comments @doc.</title>
<updated>2014-09-15T09:42:46+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-15T09:42:46+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=d5246146c7e8fb3da6ccb7163aaa4d501b55e5b6'/>
<id>d5246146c7e8fb3da6ccb7163aaa4d501b55e5b6</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add consistency/2.</title>
<updated>2014-09-15T09:40:47+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-15T09:40:47+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=43d65e7e322615eb9345e43294c3fb4930a37f53'/>
<id>43d65e7e322615eb9345e43294c3fb4930a37f53</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Adjust plop for changes in ht.</title>
<updated>2014-09-14T20:46:46+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T20:46:46+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=748d7fc86d20f9fc8f7ba947c2c1df6c41e0a28e'/>
<id>748d7fc86d20f9fc8f7ba947c2c1df6c41e0a28e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add comments to separate public API from testing and debugging funs.</title>
<updated>2014-09-14T20:31:53+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T20:31:53+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=f6a02d69404fcb6486a4dfd04bbd4fecd7a0e2e8'/>
<id>f6a02d69404fcb6486a4dfd04bbd4fecd7a0e2e8</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Update #tree.evaluated for V=0 too.</title>
<updated>2014-09-14T20:31:23+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T20:31:23+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=77db7127e3ed985a878d44345bf4014df13743b9'/>
<id>77db7127e3ed985a878d44345bf4014df13743b9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add reset_tree/1 and change new() and init().</title>
<updated>2014-09-14T19:44:11+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T19:44:11+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=6bc276e65e89764968f3058bd281f6825d3182ba'/>
<id>6bc276e65e89764968f3058bd281f6825d3182ba</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Guard path/4 against future versions.</title>
<updated>2014-09-14T19:41:50+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T19:41:50+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=98c68274ff29093a8495cd006fa4645c875c95f4'/>
<id>98c68274ff29093a8495cd006fa4645c875c95f4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add three more test vectors for consistency proofs.</title>
<updated>2014-09-14T16:03:18+00:00</updated>
<author>
<name>Linus Nordberg</name>
<email>linus@nordberg.se</email>
</author>
<published>2014-09-14T16:03:18+00:00</published>
<link rel='alternate' type='text/html' href='https://git.sunet.se/user/linus/plop.git/commit/?id=7d14830a1c800279d03f0ae6946ba69449238978'/>
<id>7d14830a1c800279d03f0ae6946ba69449238978</id>
<content type='text'>
Also add print_tree/1.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Also add print_tree/1.
</pre>
</div>
</content>
</entry>
</feed>
