← Back to branch summary

~ubuntu-branches/ubuntu/natty/prover9-manual/natty

« back to all changes in this revision

Viewing changes to references.html

  • Committer: Bazaar Package Importer
  • Author(s): Peter Collingbourne
  • Date: 2009-03-15 00:53:52 UTC
  • mfrom: (1.1.5 upstream)
  • Revision ID: james.westby@ubuntu.com-20090315005352-o9rzionfe6y7vnys
Tags: 0.0.200902a-1
* New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version

Show diffs side-by-side

added added

removed removed

Lines of Context:
references.html
18
18
</colgroup>
19
19
<td align="left"><i>Prover9 Manual</i>
20
20
<td align="center"><img src="prover9-5a-256t.gif">
21
 
<td align="right"><i>Version 2008-11A</i>
 
21
<td align="right"><i>Version 2009-02A</i>
22
22
</table>
23
23
<hr>
24
24