-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrelease_archive.html
97 lines (84 loc) · 5.6 KB
/
release_archive.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>GAPT</title>
<link rel="stylesheet" href="style.css">
<link rel="stylesheet" href="ribbon.css">
</head>
<body>
<div class="box">
<div class="content">
<table>
<tr>
<td><img src="logo.png" alt="gapt logo"></td>
<td style="padding-left: 20px;"><h1>GAPT: General Architecture for Proof Theory</h1></td>
</table>
<div class="ribbon right grey">
<a href="https://github.com/gapt/gapt">Fork me on GitHub</a>
</div>
<h2>Release Archive</h2>
<p>
On this page you can find previous releases of GAPT.
</p>
<table>
<tr><th>Version</th><th>Date</th><th>Link</th> </tr>
<tr><td>2.17.0</td><td>2024-09-27</td> <td> <a href="downloads/gapt-2.17.0.tar.gz">gapt-2.17.0.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.17.0.tar.gz">sources</a>)</td></tr>
<tr><td>2.16.0</td><td>2022-07-21</td> <td> <a href="downloads/gapt-2.16.0.tar.gz">gapt-2.16.0.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.16.0.tar.gz">sources</a>)</td></tr>
<tr><td>2.15.4</td><td>2022-05-31</td> <td> <a href="downloads/gapt-2.15.4.tar.gz">gapt-2.15.4.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.15.4.tar.gz">sources</a>)</td></tr>
<tr><td>2.15.3</td><td>2022-05-31</td> <td> <a href="downloads/gapt-2.15.3.tar.gz">gapt-2.15.3.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.15.3.tar.gz">sources</a>)</td></tr>
<tr><td>2.15.2</td><td>2020-04-24</td> <td> <a href="downloads/gapt-2.15.2.tar.gz">gapt-2.15.2.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.15.2.tar.gz">sources</a>)</td></tr>
<tr><td>2.15.1</td><td>2020-04-08</td> <td> <a href="downloads/gapt-2.15.1.tar.gz">gapt-2.15.1.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.15.1.tar.gz">sources</a>)</td></tr>
<tr><td>2.15</td><td>2020-03-30</td> <td> <a href="downloads/gapt-2.15.tar.gz">gapt-2.15.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.15.tar.gz">sources</a>)</td></tr>
<tr><td>2.14</td><td>2019-03-04</td> <td> <a href="downloads/gapt-2.14.tar.gz">gapt-2.14.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.14.tar.gz">sources</a>)</td></tr>
<tr><td>2.13</td><td>2018-12-03</td> <td> <a href="downloads/gapt-2.13.tar.gz">gapt-2.13.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.13.tar.gz">sources</a>)</td></tr>
<tr><td>2.12</td><td>2018-08-17</td> <td> <a href="downloads/gapt-2.12.tar.gz">gapt-2.12.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.12.tar.gz">sources</a>)</td></tr>
<tr><td>2.11</td><td>2018-04-30</td> <td> <a href="downloads/gapt-2.11.tar.gz">gapt-2.11.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.11.tar.gz">sources</a>)</td></tr>
<tr><td>2.10</td><td>2018-03-19</td> <td> <a href="downloads/gapt-2.10.tar.gz">gapt-2.10.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.10.tar.gz">sources</a>)</td></tr>
<tr><td>2.9</td><td>2018-01-30</td> <td> <a href="downloads/gapt-2.9.tar.gz">gapt-2.9.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.9.tar.gz">sources</a>)</td></tr>
<tr><td>2.8</td><td>2017-10-09</td> <td> <a href="downloads/gapt-2.8.tar.gz">gapt-2.8.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.8.tar.gz">sources</a>)</td></tr>
<tr><td>2.7</td><td>2017-07-05</td> <td> <a href="downloads/gapt-2.7.tar.gz">gapt-2.7.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.7.tar.gz">sources</a>)</td></tr>
<tr><td>2.6</td><td>2017-04-03</td> <td> <a href="downloads/gapt-2.6.tar.gz">gapt-2.6.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.6.tar.gz">sources</a>)</td></tr>
<tr><td>2.5</td><td>2017-02-22</td> <td> <a href="downloads/gapt-2.5.tar.gz">gapt-2.5.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.5.tar.gz">sources</a>)</td></tr>
<tr><td>2.4</td><td>2017-01-13</td> <td> <a href="downloads/gapt-2.4.tar.gz">gapt-2.4.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.4.tar.gz">sources</a>)</td></tr>
<tr><td>2.3</td><td>2016-10-10</td> <td> <a href="downloads/gapt-2.3.tar.gz">gapt-2.3.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.3.tar.gz">sources</a>)</td></tr>
<tr><td>2.2</td><td>2016-07-09</td> <td> <a href="downloads/gapt-2.2.tar.gz">gapt-2.2.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.2.tar.gz">sources</a>)</td></tr>
<tr><td>2.1</td><td>2016-04-18</td> <td> <a href="downloads/gapt-2.1.tar.gz">gapt-2.1.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.1.tar.gz">sources</a>)</td></tr>
<tr><td>2.0</td><td>2016-01-18</td> <td> <a href="downloads/gapt-2.0.tar.gz">gapt-2.0.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v2.0.tar.gz">sources</a>)</td></tr>
<tr><td>1.10</td><td>2015-09-07</td> <td> <a href="downloads/gapt-1.10.tar.gz">gapt-1.10.tar.gz</a>
(<a href="https://github.com/gapt/gapt/archive/v1.10.tar.gz">sources</a>)</td></tr>
<tr><td>1.9</td><td>2014-08-29</td> <td> <a href="downloads/gapt-1.9.zip">gapt-1.9.zip</a>
(<a href="https://github.com/gapt/gapt/archive/v1.9.tar.gz">sources</a>)</td></tr>
<tr><td>1.8</td><td>2014-05-04</td> <td> <a href="downloads/gapt-1.8.zip">gapt-1.8.zip</a>
(<a href="https://github.com/gapt/gapt/archive/v1.8.tar.gz">sources</a>)</td></tr>
<tr><td>1.7</td><td>2014-04-15</td> <td> <a href="downloads/gapt-1.7.zip">gapt-1.7.zip</a>
(<a href="https://github.com/gapt/gapt/archive/v1.7.tar.gz">sources</a>)</td></tr>
</table>
<hr>
<p class="smallfont">Last Change: 2022-07-21</p>
</div>
</div>
</body>
</html>