Commit Graph

2 Commits (a16e5e7a63f3328ba8e71a84b4a04d2b46abdd7b)

Author SHA1 Message Date
orbiter 3197ca42ed preparations to move the HTCache into cora:
15 years ago
orbiter 11b7853940 added a configuration page for search heuristics. currently you can switch on there:
15 years ago