20 lines
776 B
XML
20 lines
776 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<application>
|
|
<id type="desktop">gwhy.desktop</id>
|
|
<licence>CC0</licence>
|
|
<description>
|
|
<p>
|
|
Gwhy is a graphical user interface for the Why software coordination
|
|
platform. It assists in the coordination of dispatching assertions that
|
|
need to be proven to different theorem provers by providing an interface to
|
|
do this and also supports inspection of why input files.
|
|
</p>
|
|
</description>
|
|
<screenshots>
|
|
<screenshot type="default">http://why.lri.fr/manual/manual001.png</screenshot>
|
|
</screenshots>
|
|
<url type="homepage">http://why.lri.fr/</url>
|
|
<!-- FIXME: change this to an upstream email address for spec updates
|
|
<updatecontact>someone_who_cares@upstream_project.org</updatecontact>
|
|
-->
|
|
</application>
|