<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://prob.hhu.de/w/index.php?action=history&amp;feed=atom&amp;title=Handbook%2FProB_2_Java_API</id>
	<title>Handbook/ProB 2 Java API - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://prob.hhu.de/w/index.php?action=history&amp;feed=atom&amp;title=Handbook%2FProB_2_Java_API"/>
	<link rel="alternate" type="text/html" href="https://prob.hhu.de/w/index.php?title=Handbook/ProB_2_Java_API&amp;action=history"/>
	<updated>2026-05-27T10:11:38Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://prob.hhu.de/w/index.php?title=Handbook/ProB_2_Java_API&amp;diff=4997&amp;oldid=prev</id>
		<title>David Geleßus: Created page with &quot;= ProB Java API = {{:ProB Java API}}  = Programmatic Abstractions in the ProB 2.0 API = {{:Programmatic Abstractions in the ProB 2.0 API}}&quot;</title>
		<link rel="alternate" type="text/html" href="https://prob.hhu.de/w/index.php?title=Handbook/ProB_2_Java_API&amp;diff=4997&amp;oldid=prev"/>
		<updated>2021-06-15T15:53:56Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;quot;= &lt;a href=&quot;/w/index.php?title=ProB_Java_API&quot; title=&quot;ProB Java API&quot;&gt;ProB Java API&lt;/a&gt; = {{:ProB Java API}}  = &lt;a href=&quot;/w/index.php?title=Programmatic_Abstractions_in_the_ProB_2.0_API&quot; title=&quot;Programmatic Abstractions in the ProB 2.0 API&quot;&gt;Programmatic Abstractions in the ProB 2.0 API&lt;/a&gt; = {{:Programmatic Abstractions in the ProB 2.0 API}}&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;= [[ProB Java API]] =&lt;br /&gt;
{{:ProB Java API}}&lt;br /&gt;
&lt;br /&gt;
= [[Programmatic Abstractions in the ProB 2.0 API]] =&lt;br /&gt;
{{:Programmatic Abstractions in the ProB 2.0 API}}&lt;/div&gt;</summary>
		<author><name>David Geleßus</name></author>
	</entry>
</feed>