https://github.com/gapt/gapt
Tip revision: 35e7152a58ec6427a6122a60684bb1475fd5ee1d authored by Martin Riener on 13 November 2013, 12:45:41 UTC
release state of prooftool 1.5 and cli 1.5
release state of prooftool 1.5 and cli 1.5
Tip revision: 35e7152
| File | Mode | Size |
|---|---|---|
| files | ||
| 2013-02-27.txt | -rw-r--r-- | 6.6 KB |
| 2013-03-11.txt | -rw-r--r-- | 2.1 KB |
| 2013-04-24.txt | -rw-r--r-- | 1.3 KB |
| 2013-05-08.txt | -rw-r--r-- | 1.0 KB |
| 2013-05-15.txt | -rw-r--r-- | 1.0 KB |
| 2013-05-22.txt | -rw-r--r-- | 931 bytes |
| 2013-09-11.txt | -rw-r--r-- | 3.3 KB |
| 2013-10-23.txt | -rw-r--r-- | 1.4 KB |
| 2013-10-30.txt | -rw-r--r-- | 785 bytes |
| template.txt | -rw-r--r-- | 172 bytes |
