hol_light
|
Update HOL Light to rev 157
|
2013-03-25 10:56:57 +01:00 |
iprover
|
Fix bad URLs lacking a scheme
|
2013-01-14 18:26:46 +01:00 |
logisim
|
Added Logisim-2.7.1.
|
2012-12-27 16:25:39 +01:00 |
opensmt
|
Fix bad URLs lacking a scheme
|
2013-01-14 18:26:46 +01:00 |
tptp
|
TPTP had a bugfix without version change
|
2013-03-09 14:24:45 +04:00 |