Commit Graph

4 Commits (c461c1eebf9c65d5d980220c3a72eb67970fff08)

Author SHA1 Message Date
orbiter 3197ca42ed preparations to move the HTCache into cora:
14 years ago
orbiter 844f158686 - removed dependencies in header framework:
14 years ago
orbiter bea3b99aff moved table and util classes
15 years ago
f1ori 69dfd03985 reactivate unittests
16 years ago