Revision - 480f82d - release of prooftool 1.4 and cli 1.4 - snapshot: 257667caa35678dfc12d096d83735b7db8ec0c50

swh:1:snp:257667caa35678dfc12d096d83735b7db8ec0c50

Revision 480f82d659be5647123d7586ff03b15dbb029692 authored by Martin Riener on 21 January 2013, 15:22:25 UTC, committed by Martin Riener on 21 January 2013, 15:22:25 UTC

release of prooftool 1.4 and cli 1.4

git-svn-id: http://gapt.googlecode.com/svn/trunk@1433 85d21ef8-add0-11de-ae77-5bfb9c5a3f34

1 parent 153c624

Files
Changes

Permalinks

Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0

Tip revision: 2f9ab4b

File	Mode	Size
doc
source
testing

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...