Skip to content

do not rely on make_laterable in logatom triples any more

Ralf Jung requested to merge ralf/no-make-laterable into master

Prepares for iris!835 (merged)

Edited by Ralf Jung

Merge request reports