| cc228d5a4ac3427b07171a3adab98b0f099a11b0 |
|
11-Jan-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Pass input type to Hets. |
| 610ab9fab8fcf476e85c39a6d074970a3a11cd11 |
|
11-Aug-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add comment on extensions/input types hash. |
| e5a38deea869b1ffcd8d4f578abb5e2a565ba7c6 |
|
05-Aug-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add .p as a file extension for TPTP
This is used by the MPTP2078 library. |
| 2cd4a53cfef365cc326cd6c8f8bde00fdea24f39 |
|
05-Aug-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add input type mapping to the generated HetsOptions. |
| 37d0428752228b885ae94e6b0aea5452787fb102 |
|
05-Aug-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Make HetsOptions creation DRY. |