Johannes Kanig 3262153853 Various postmerge adaptations

2025-12-15 17:51:17 +09:00

..

ada_terms

Clean up compiler warnings

2025-04-07 11:25:36 +02:00

cfg

merge commit

2025-12-15 10:45:08 +09:00

coma

Support module with interface in parsing API

2025-11-20 14:24:32 +01:00

gnat_json

Various postmerge adaptations

2025-12-15 17:51:17 +09:00

microc

Improve Pmodule API, update documentation

2025-11-20 14:14:24 +01:00

parser

update headers

2025-06-04 10:51:30 +02:00

printer

merge TPTP printer into the tptp plugin

2012-07-05 14:27:53 +02:00

python

Improve Pmodule API, update documentation

2025-11-20 14:14:24 +01:00

strategies

Update term to carry multiple locations

2025-10-17 20:23:02 +02:00

tptp

update headers

2025-06-04 10:51:30 +02:00

transform

update headers

2025-06-04 10:51:30 +02:00